výrokový počet

Noun

 * 1) propositional calculus