Правильність

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

Логічний арґумент є правильним, тоді і лишень тоді, якщо:

  1. вивід є чинним,
  2. усі вихідні припущення є істинними

Розглянемо наступний арґумент:

Усі люди смертні
Сократ людина
Отже, Сократ смертний

Цей аргумент є правильним, оскільки усі вихідні твердження є істинними, та вивід є чинним.

Натомість арґумент

Усі люди вміють літати
Сократ людина
Отже, Сократ вміє літати

Цей аргумент є неправильним, адже хоча вивід є чинним, одне твердження «усі люди вміють літати» є очевидно неістинним.

Іншими мовами