Логика/Умозаключения/25

Редактировать НУ

Это конечное Непосредственное Умозаключение, поэтому Суждение Логика/Суждения/77 является конечным и его Истинность зависит только от Цитат-Фактов

Исходное Суждение: NotDefined Логика/Суждения/76

Противопоставление Предикату

Все/Всякий/Всякая Человек, который НЕ может быть Матерью не суть Человек, который может быть Беременным

NotDefined / NotDefined - значение истинности Исходного Суждения на странице Логика/Умозаключения/25 / значение истинности Суждения на странице Логика/Суждения/76

Результат операции НУ (Синтетика): True Логика/Суждения/77

Превращениe

Все/Всякий/Всякая Человек, который НЕ может быть Матерью суть Человек, который НЕ может быть Беременным

Для Конечного Умозаключения: True / True - значение истинности Результата операции НУ на странице Логика/Умозаключения/25 / значение истинности Суждения на странице Логика/Суждения/77

Значение истинности Исходного Суждения - NotDefined, НУ (в лице Результата операции) говорит, что - True - поэтому истинность FortSyll этой операции (для вышестоящих операций) определяем: True

4 (Логика/Суждения/23, 1, 0, 1, 1, Логика/Умозаключения/17, ?, ?, ?)