<    1    >

---

Логика

• Тавтология

• Закон исключённого третьего
• Теоремы неполноты
• Проблема разрешения

• Искусственный интеллект

• Доказательство от противного
• Доказательство методом полной индукции

Подробности

• Знак сходства
• Не вяжется

 

---

Deutsch   English   Español   Français   Nederlands   中文