Схемы правильных и неправильных рассуждений

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

Пусть P1, P2, …, Pn – посылки, D – заключение. Тогда для определения правильности рассуждения по схеме , т. е. утверждения о том, что из данных посылок P1, P2, …, Pn следует заключение D, требуется установить тождественную истинность формулы (P1 & P2 & … & Pn) D. Истинность (ложность) заключения не влияет на правильность рассуждения.

Рассуждение по схеме неправильное, так как формула ((A B)&B) A не является тождественно-истинной (на наборе A = 0, B = 1 она ложна). Например, A B = «если число простое, то оно нечётное», B = «число нечётное», тогда заключение A = «число простое». Нечётное число может и не быть простым, например число 33.