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