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

Дедуктивная система. Алфавит и формулы исчисления высказываний. Модус поненс. Вывод.