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

раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Лог