ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

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