funkcia propozicionálna
- funkcia, ktorej hodnotami sú výroky (alebo pravdivostné hodnoty 'pravda' a 'nepravda').