výroková logika

Noun

 * 1) propositional logic, propositional calculus