Исчисление высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, смотри Высказываний исчисление.