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

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