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

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

Это НЕконечное Непосредственное Умозаключение, поэтому Суждение Логика/Суждения/76 не является конечным и его Истинность зависит от Последующих логических операций - Утверждений (не только от Цитат-Фактов)

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

Синтетика

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

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

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

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

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

Справочно: True / NotDefined - значение истинности Результата операции НУ на странице Логика/Умозаключения/17 / значение истинности Суждения на странице Логика/Суждения/76

Умозаключения (Всего подчиненного уровня/Циклов): 1
1

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

Yes true=Истина

Истина

Истина 

Значение истинности Термина - True, Алгебра Логики говорит, что - True

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

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