5.3.Исчисление высказываний.Математическая логика и теория алгоритмов.

Мы опишем применение аксиоматического метода к пропозициональной логике. В результате получим формальную аксиоматическую теорию, называемую исчислением высказываний. Семантическая система в языке пропозициональной логики уже введена, введем дедуктивную систему. Весь материал взят: