Modus ponens

Определение

Формальное правило логического вывода: если A истинно и A влечёт B, то B истинно.

Где встречается

• 184. Почему естественный язык не подходит для сложного рассуждения

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление