Реферат: Исчисление высказываний

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

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

р - 1.

- I, 2, 3

- I, 1, 4

Мы предположили общезначимость утверждений p и q и воспользовавшись правилом I. введение .

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

Доказать

- Предположение

- IX. Удаление , 1

r - IX. Удаление , 1

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

pq - IX. Удаление , 1

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

- I. Введение , 1, 6

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

Доказать

- Предположение

pq - IX. Удаление , 1

Øq - IX. Удаление , 1

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

- I. Введение, 1, 4

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

Докажем

- Предположение

pq - IX. Удаление , 1

Øq - IX. Удаление , 1

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

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