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

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