propositional inference

Одержаний засобами пропозиційного рахунку (числення висловів, висловлювань, речень)

висновок

пропозиційний висновок