1. Главная
  2. Библиотека
  3. Логика
  4. Используя исходную посылку, постройте два разделительно-категорических умозаключения. Запишите их в символической форме: С...

Используя исходную посылку, постройте два разделительно-категорических умозаключения. Запишите их в символической форме: Свидетели могут говорить правду или лгать.

«Используя исходную посылку, постройте два разделительно-категорических умозаключения. Запишите их в символической форме: Свидетели могут говорить правду или лгать.»
  • Логика

Условие:

Используя исходную посылку, постройте два разделительно-категорических умозаключения. Запишите их в символической форме: 

Свидетели могут говорить правду или лгать.

Решение:

а) В утверждающе-отрицающем модусе (ponendo tollens) первая посылка представляет собой строгую дизъюнкцию нескольких вариантов чего-либо, вторая утверждает один из них, а вывод отрицает все остальные (рассуждение движется от утверждения к отрицанию).

Свидетели могут говорить правду (А) или лгать (В).

Свидетель солгал (В).

Свидетель не сказал правду (не-А)

Символическая запись:

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет