Методи встановлення правильних модусів пкс.

1. Семантичні методи:

а) метод модельних схем з використанням кіл Ейлера;

б) метод модельних схем з використанням діаграм Венна .

2. Синтаксичні методи:

в) формулювання певних правил, на відповідність яким можна перевірити кожен модус. Виконання кожного правила є необхідною умовою для правильності деякого модусу ПКС, а виконання усіх правил в цілому є достатньою умовою для того, аби вважати деякий модус правильним;

г) метод зведення недосконалих модусів 2-ї, 3-ї, 4-ї фігур до досконалих модусів 1-ї фігури. Погоджуємось із самоочевидною правильністю модусів 1-ї фігури і, використовуючи закони логічного квадрату та обернення, доводимо правильність модусів інших фігур.

Пряме зведення („s” – необхідність чистого обернення засновку, що передує цій літері у назві відповідного модусу; „p” – необхідність обернення з обмеженням засновку, що передує цій літері у назві відповідного модусу; „m” - зміна місць засновків).

Непряме зведення („c” - зведення до абсурду: виводимо суперечність із припущення, що аналізований модус є неправильним).