Veta (logika)

veta ( logika)

- v�rok, ktor�ho pravdivos� bola dok�zan� ( L715;773).