Як зробити звернення судження?
Під зверненням розуміється безпосередній висновок, у якому суб'єкт ув'язнення збігається з предикатом посилки, а предикат ув'язнення – із суб'єктом посилки. Якщо ми хочемо провести звернення приватноствердного судження (SiP), то нам лише потрібно поміняти місцями суб'єкт та предикат.
Що таке безпосередні висновки?
Безпосередній висновок Безпосередній висновок у традиційній логіці, висновок з однієї посилки або (у Арістотеля) висновок з аксіом або з посилки, «який не передує ніяка інша».