výrok ( logika)
- výraz, ktorý má presne jednu pravdivostnú hodnotu ( L715;790).
----------------- výrok (logika)>