ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ – см. Логика высказываний.