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