Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

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



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

Пусть 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.





Дата публикования: 2014-11-29; Прочитано: 335 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.005 с)...