А діаграми слідства -
вони не збігаються. Значить, модус хибна. p align="justify"> Легко переконається, що, наприклад, модус ASP? ISP правдивий. Справді, за правилом логічного квадрата якщо істинно загальне судження, то істинно і підпорядковане йому судження, а якщо воно помилкове, то помилково і підлегле судження. Посилка і висновок тим самим мають одне і те ж справжнє значення, а значить імплікація завжди істинна. Діаграма Ейлера для умови має вигляд:
А для слідства - вид:
Вони збігаються.
Щоб виділити істинні модуси можна скористатися і правилами розподілу членів судження, тобто S або P . Деякий член судження (тобто S або P ) називається розподіленим тоді, коли він є або суб'єктом загального судження, або предикатом негативного судження. Так, у судженні АSР суб'єкт S розподілений, а предикат P - не розподілений. У судженні ESP розподілені і суб'єкт, і предикат. У судженні ISP не розподілені ні суб'єкт, ні предикат. Нарешті, в судженні OSP суб'єкт не розподілений, а предикат розподілений.
Отже, для справжніх модусів безпосередніх умовиводів виконуються два правила:
У будь-якому істинному модусі судження є або обидва ствердними, або обидва негативними.
У будь-якому істинному модусі кожен розподілений член в його укладенні розподілений і в його умови.
Розглянемо, наприклад, модус ASP В® APS. Член Р розподілено у висновку, але він нераспределен у слідстві. Значить, модус хибна.
Будь-яким із зазначених методів легко встановити, що з 32 модусів безпосередніх умовиводів тільки 10 істинні. Відкидаючи з цих десяти чотири тавтології XSP В® XSP , де Х може приймати одне із значень A, E, I, O
