Эти рассуждения так же являются двухпосылочными и содержат дизъюнктивную или строго – дизъюнктивную посылку.
Правильными являются следующие способы рассуждения
Это правило получило название modus tolledo, т.е. «отрицающе-утверждающий способ рассуждения».
Пример: Этот человек заблуждается сам, или сознательно вводит в заблуждение других. Но сам этот человек не заблуждается. Следовательно, он сознательно вводит в заблуждение других.
Приведенные ниже примеры не являются корректными:
Однако, если дизъюнктивную посылку заменить строго-дизъюнктивной посылкой, то получим правильные способы рассуждений.
Умозаключения подобного типа называются modus ponendo tolens, что означает «утверждающе-отрицающий способ рассуждений».
Пример: Шахматист К. примет участие в одном из двух турниров: он либо выступит на турнире в Тилбурге, либо на турнире в Линаресе. Известно, что К. дал согласие принять участие в Линаресе. Следовательно, К. не выступит на турнире в Тилбурге.
