Непосредственные умозаключения из сложных суждений

Контрапозиция простая - условное умозаключение, логическая форма которого такова:

.

Пример:

Если завтра будет солнечно, то мы пойдем копать картошку.

Если мы не пошли копать картошку, то был дождь.

Контрапозиция сложная -

.

Если завтра будет солнечно и у нас будут силы, то мы пойдем валить лес.

Если сегодня солнечно и мы не валим лес, то у нас нет сил.

Импотация -

.

Экспортация -

.

Есть также 4 умозаключения модальности, под которыми имеют в виду отношения между суждениями, характеризуемыми некоторыми логическими модальностями. Например, если неверно, что 6 × 3 = 23, то нет такого положения дел в котором 6 × 3 = 23.

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

Главное, чтобы в каждом отдельном случае соблюдались специфические правила или принципы таких умозаключений, чтобы избежать ошибок в рассуждении.

Дата добавления: 2014-12-16