propositional logic

Логика высказываний