Надо Знать

добавить знаний



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



В математической логике, логическая система имеет свойство правильности тогда и только тогда, когда ее правила вывода доказывают только формулы, которые действуют по ее семантики. В большинстве случаев, это сводится к тому, что ее правила имеют свойство сохранения истины, однако это не так в общем случае.

Об аргументах

Аргумент является правильным тогда и только тогда, когда:

  1. он действующим,
  2. все исходные предположения являются истинными

Рассмотрим следующий аргумент:

Все люди смертны
Сократ человек
Следовательно, Сократ смертен

Этот аргумент является правильным, поскольку все выходные утверждение истинными, и сам аргумент действует.

Зато аргумент

Все люди умеют летать
Сократ человек
Следовательно, Сократ умеет летать

неправильно, ведь хотя он и действует, одно утверждение "все люди умеют летать" является то неистинным.


Логические исчисления

Правильность (корректность) находится между фундаментальных свойств, изучаемых в математической логике. Свойство правильности обеспечивает начальную основание для того, чтобы рассматривать логическую систему как желанную. Свойство полноты означает, что любая тавтология является теоремой. Вместе они импликують, тавтологии и только тавтологии является теоремами

Логическое исчисление обладает свойством правильности, если теоремы логического исчисления является тавтологиями.


код для вставки
Данный текст может содержать ошибки.

скачать

© Надо Знать
написать нам