Образовательный портал Claw.ru
Всё для учебы, работы и отдыха
» Шпаргалки, рефераты, курсовые
» Сочинения и изложения
» Конспекты и лекции
» Энциклопедии

1.

            [p] [q]

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний

                     r

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

Докажем высказывание   Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний

[p]

p

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                           Правило I

Первым шагом мы делаем предположение, что р - общезначима. Тогда второй шаг непосредственно следует из первого. Раз мы предположили общезначимость р на первом шаге, то мы используем этот факт на втором. На третьем шаге мы используем правила вывода I, которое устанавливает общезначимость высказывания Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний.

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

Присмотревшись внимательно к правилам вывода, можно увидеть, что они хорошо согласуются с нашей интуицией. Например, возьмём правило VIII. Если на предыдущих шагах была доказана общезначимость высказываний p и q, то очевидно что высказывание Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний - тоже общезначимо.

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

5.2.4. Некоторые приёмы доказательства.

Дедуктивный вывод.

Доказать Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний

[p] - Предположение

[q] - Предположение

р -  1.

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний  - I, 2, 3

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний - I, 1, 4

Мы предположили общезначимость утверждений p и q и воспользовавшись правилом I. введение Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний.

Использование правила Моdus Рonens. Это правило хорошо работает когда надо доказать высказывания типа “Если в этом кинотеатре дают “Анаконду”, то я куплю билеты.” Если кто-то сделал это утверждение и вы увидели, что в кинотеатре идет “Анаконда”, то вы можете заключить, что этот человек купил билеты.

Доказать Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                        - Предположение

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                                         - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

r                                                 - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

р                                                 - III. Моdus Рonens, 2, 3

pClaw.ru | Рефераты по информатике, программированию | Исчисление высказыванийq                                          - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

q                                                 - III. Моdus Рonens. 4, 5

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний    - I. Введение Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1, 6

Использование Моdus Tollens.

Доказать Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                                     - Предположение

pClaw.ru | Рефераты по информатике, программированию | Исчисление высказыванийq                                          - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

Øq                                              - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

Øp                                              - III.2. Modus Tollens, 2, 3

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                        - I. Введение Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1, 4

Использование Введения Ø и Удаления Ø .

Докажем Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                                    - Предположение

pClaw.ru | Рефераты по информатике, программированию | Исчисление высказыванийq                                          - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

Øq                                              - IX. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 1

[p]                                              - Предположение

q                                                 - III. Моdus Ðonens, 4, 2

Øq                                              - 3

F                                                            - VI. Удаление Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний, 5, 6

Øp                                              - V. Введение Ø 4, 7

Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний                        - I. Введение Ø 1, 8


Рекомендуем скачать другие рефераты по теме: реферати, скачать дипломную работу.


Категории:




Предыдущая страница реферата | 12  13  14  15  16  17  18  19  20  21  22 |


Поделитесь этой записью или добавьте в закладки

   



Рефераты от А до Я


Полезные заметки

  •