Výrokový výraz

Výrokový výraz môže byť:
výrok, t. j. výraz, ktorý má presne jednu pravdivostnú hodnotu; v jazykovede mu zodpovedá oznamovacia veta;
výroková forma, t. j. forma, ktorá sa po dosadení zmení na výrok (napr. p /\ q je forma výroku 'Prší a hrmí.').

Externé odkazy