Умовивід

Матеріал з Вікіпедії — вільної енциклопедії.

Виводити означає робити висновок. Вивести X означає зробити висновок що X є істинним. Умовивід це висновок зроблений на основі набору фактів або умов.

Значна частина логіки полягає у дослідженні істинності умовиводів та їх наслідків. Є різниця між умовиводом та мати на увазі. Автор що пише що всі люди смертні та що Сократ людина, має на увазі що Сократ смертний, але уважний читач що це зауважив та що свідомо думає Тому Сократ смертний робить умовивід.

[ред.] Дивись також

  • Експертна система
  • Судження
  • Правила виведення
Іншими мовами