Tautologicky pravdivé výrokové formule (tautologie), Někdy pravdivé výrokové formule, Kontradiktoricky nepravdivá výrokové formule (kontradikce, vždy nepravdivé)
