Основные схемы логически правильных рассуждений

Приведем примеры наиболее употребимых схем логически правильных рассуждений (некоторые их них приведем без пояснений) (табл. 62):

Таблица 62

№
1	Правило заключения – утверждающий модус (Modus Ponens, удаления импликации)	Если из высказывания А следует высказывание В и справедливо (истинно) высказывание А, то справедливо В
2	Правило отрицания – отрицательный модус (Modus Tollens)	Если из А следует В, но высказывание В неверно, то неверно А
3	Правила утверждения-отрицания (Modus Ponendo-Tollens)	Если справедливо или высказывание А, или высказывание В (в разделительном смысле) и истинно одно из них, то другое ложно
4	Правила отрицания-утверждения (Modus Tollen-Ponens)	Если истинно или А, или В (в разделительном смысле) и неверно одно из них, то истинно другое
Если истинно А или В (в неразделительном смысле) и неверно одно из них, то истинно другое (правило удаления дизьюнкции)
5	Правило транзитивности	Если из А следует В, а из В следует С, то из А следует С
6	Закон противоречия	Если из А следует В и , то неверно А
7	Правило контрапозиции	Если из А следует В, то из того, что неверно В, следует, что неверно А
8	Правило сложной контрапозиции	Если из А и В следует С, то из А и следует
9	Правило сечения	Если из А следует В, а из В и С следует D, то из А и С следует D
10	Правило импортации (объединения посылок)
11	Правило экспортации (разъединения посылок)
12	Правила дилемм
13	Правило введения конъюнкции
14	Правило удаления конъюнкции
15	Правило введения дизъюнкции
16	Правило введения эквиваленции
17	Правило удаления эквиваленции

Пример.

Следующие рассуждения не являются правильными:

.

Дата добавления: 2014-01-15