Veta (logika)

veta ( logika)

- výrok, ktorého pravdivosť bola dokázaná ( L715;773).