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

Исчисление Высказываний - раздел математической логики, аксиоматическое построение логики высказываний.