V Пример. Поскольку всякое тяготеющее тело в одно и то же время может находиться только в одном месте из двух и это тяготеющее тело в настоящее время находится в данном

Поскольку всякое тяготеющее тело в одно и то же время может находиться только в одном месте из двух и это тяготеющее тело в настоящее время находится в данном месте, то это тяготеющее тело в настоящее время не находится в другом месте. Или: «В силу того, что любая дилемма является простой или сложной и сложная деструктивная дилемма — именно сложная, то сложная деструктивная дилемма не является простой». Очевидно, что логический союз «или» в modus ponendo tollens обеспечивает логическое следование только при его использовании в смысле строгой дизъюнкции, употребление же этого союза в смысле нестрогой дизъюнкции логического следования не даёт, поэтому законами классической логики высказываний являются две формулы данного модуса: 1) ((a Ú b)Ùa)ÉØb; 2) ((a Ú b)Ùb)ÉØa.

Разделительно-условные или условно-разделительные (лемматические) умозаключения состоят из посылок, имеющих структуру импликативных и дизъюнктивных суждений. В зависимости от числа содержащихся в посылках импликативных суждений и соответственно членов дизъюнкции лемматические умозаключения могут иметь форму дилеммы (содержит два импликативных суждения и два дизъюнкта), трилеммы (содержит три импликативных суждения и три дизъюнкта), полилеммы (содержит более чем три импликативных суждения и такое же число дизъюнктов). Дилемма (от греч. diV - дважды и lhmma — лемма, предположение, посылка) — это лемматическое умозаключение, в первой из посылок которого содержатся два импликативных суждения, во второй — дизъюнктивное, составленное из двух дизъюнктов суждение. Поскольку суждения, являющиеся в логической структуре импликаций первой посылки антецедентами, либо консеквентами, а в логической структуре второй посылки взятыми без отрицания либо с отрицанием дизъюнктами, могут находиться в импликативной связи (имплицировать или быть имплицированными) с одним или двумя (тремя для трилемм и т. д.) суждениями, то следует различать две разновидности дилемм (в целом — 2-е разновидности лемм): простую дилемму и сложную дилемму. Простая дилемма — это такая разновидность дилемм, в логической структуре которой взятые без отрицания либо с отрицанием суждения-дизъюнкты второй посылки являются антецедентами или консеквентами суждений первой посылки, импликативно связанными только с одним суждением.