5.3.Проверка правильности рассуждений

Рассуждение есть утверждение того, что некоторое высказывание (заключение) следует из других высказываний (посылок). Рассуждение будет правильным, если из конъюнкции посылок следует заключение, т.е. между конъюнкцией посылок и заключением установлено отношение следствия. В этом случае импликация должна быть тавтологией.

• Правильность рассуждения можно установить, построив таблицу истинности высказывания и убедившись в том, что оно тождественно истинно.

• Правильность рассуждения можно установить и методом «от противного». Этот метод заключается в том, что, полагая заключения Q ложным, а некоторые посылки Pi истинными, проверяем найдётся ли хотя бы одна посылка, принимающая значение ложно. Если да, то рассуждение правильно.