V Пример. Если химическое вещество является металлом, то оно электропроводно

Если химическое вещество является металлом, то оно электропроводно, но данное химическое вещество не проводит электрического тока, значит, оно не является металлом. Или – Поскольку когда кто-либо является адвокатом, то он является юристом, а Иванов юристом не является, значит, у него нет статуса адвоката. Формула данных высказываний:

((aÉb)ÙØb)ÉØa.

Это формулировка закона исключения импликации также выражаемая схемой:

((АÉВ)ÙØВ)ÉØА.

Не являются правильными следующие, выраженные схемами, способы условно-категорических рассуждений:

1) ((АÉВ)ÙВ)ÉА;

2) ((АÉВ)ÙØА)ÉØВ.

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

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

— чисто разделительные умозаключения;

— разделительно-категорические умозаключения;

— разделительно-условные умозаключения.

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

Дата добавления: 2015-09-05