Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Выводы и доказательства

V Пример | V Пример | V Пример | V Пример | V Пример | V Пример | V Пример | V Пример | V Пример | Логический смысл исчислений |


Читайте также:
  1. Библиографические доказательства достоверности Ветхого Завета
  2. В этом случае потребность ребенка - получить опыт соблазна, проступка, стыда, раскаяния, и сделать свои выводы из этого опыта.
  3. Вселенная выстроит все обстоятельства, события, совпадения и встречи таким образом, чтобы доказательства убеждения физически появились в вашей жизни.
  4. ВЫВОДЫ И ЗАКЛЮЧЕНИЯ
  5. Выводы и перспективы развития экономики г. Иркутска
  6. Выводы и предложения производству

Посредством правил вывода строятся формальные рассуждения двух видов:

1. Выводы.

2. Доказательства.

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

Вывод может быть получен либо из пустого множества замороженных посылок (когда часть посылок оказываются не исключёнными в ходе рассуждения), либо из непустого множества замороженных посылок (когда все посылки оказываются исключёнными в ходе рассуждения). Так, различают собственно вывод — рассуждение, в ходе которого из каких-либо исходных суждений, посылок вывода получается заключение — суждение, логически вытекающее из посылок, и вывод-доказательство.

Доказательство есть вывод из непустого множества неисключенных посылок, при этом последняя формула вывода — это доказанная формула (теорема). Доказать какую-либо формулу, значит вывести её из формул посылок таким образом, чтобы, используя дедуктивные принципы Éв или Øв, перевести все эти формулы в разряд исключённых.

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

 


Дата добавления: 2015-09-05; просмотров: 64 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Классическое натуральное исчисление высказываний. Правила вывода| V Пример

mybiblioteka.su - 2015-2024 год. (0.005 сек.)