propositional logic

Пропозиційна логіка

логіка висловлювань (висловів, тверджень)