Главная Случайная страница


Полезное:

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


Категории:

АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника






Непрямые правила

⇐ ПредыдущаяСтр 4 из 6Следующая ⇒

Правила введения импликации и сведения к абсурду

В.И. С.А.
П (посылки) П (посылки)
А(доп.) А(доп.)
…… …….
……. …….
……. В
В В
А→ В А

Производные правила

Правило условного силлогизма

Правило Доказательство
А→ В А→ В 1. Посылка
В → С В →С 2. Посылка
А→ С А 3. Допущение
  В 4. У.И. 1, 3.
  С 5. У.И. 2, 4.
  А→ С 6. В.И. 3, 5

Правило modus tollens

Правило Доказательство правила:
А → В   А → В Посылки
В   В Посылки
А   А Допущение
    В У.И.1,3.
    А С.А. 2,4

Правило отрицания дизъюнкции (ОД)

Правило Доказательство:
(А∨В)   (А∨В) Посылка
А∧В   А Допущение
    А∨В В.Д.2
    А С.А.1.3
    В Допущение
    А∨В В.Д.5
    В С.А.1.6
    А∧В В.К. 4, 7

Правило отрицания конъюнкции (ОК)

 

Правило Доказательство:
(А∧В)   (А∧В) Посылка
А∨В   (А∨В) Допущение
    А∧В О.Д.2
    А У.К.3
    А У.О.4
    В У.К.3
    В У.О.6
    А∧В В.К.5.7
    (А∨В) С.А.1,8
    А∨В У.О.9

 

Правило контрапозиции 1

Правила контрапозиции: Доказательство
А → В   А → В Посылка
В→А   В Допущение
    А M.t.1,2
    В→А В.И.2,3

Правило контрапозиции 2

2 Правило Доказательство
В→А   В→А Посылка
А → В   А Допущение
    А В.О.2
    В M.t. 1,3
    В У.О.4
    А → В В.И. 2,5

Правило сложной контрапозиции

Правило: Доказательство:
(А∧В)→С   (А∧В)→С Посылка
(А∧С)→В   А∧С Допущение
    А У.К.2
    С У.К.2
    (А∧В) M.t.1,4
    А∨В О.К.5
    А В.О.3
    В У.Д.6,7
    (А∧С)→В В.И.2,8

 

Правило простой конструктивной дилеммы (П.К.Д.)

 

Правило Доказательство:
А→С   А→С Посылка
В →С   В →С Посылка
А∨В   А∨В Посылка
С   С Допущение
    А M.t.1,4
    B M.t.2,4
    B У.Д.3,5
    С С.А.6.7

 

Правило сложной конструктивной дилеммы (С.К.Д.)

Правило Доказательство:
А→В   А→В Посылка
С→D   С→D Посылка
А∨C   А∨C Посылка
В ∨D   A Допущение
    В У.И.1,4
    В∨D В.Д. 5
    A →(В∨D) В.И.4,6
    С Допущение
    D У.И.2,8
    B∨D В.Д.9
    С →(B∨D) В.И.8,10
    B∨D Сведение к П.К.Д. 3,7,11

Правило простой деструктивной дилеммы (П.Д.Д.)

Правило Доказательство:
А→В   А→В Посылка
А→С   А→С Посылка
В ∨С   В ∨С Посылка
А   В→А Правило контрапозиции. 1
    С→А Правило контрапозиции. 2
    А П.К.Д. 3,4,5

Правило сложной деструктивной дилеммы (С.Д.Д.)

Правило Доказательство:
А→В   А→В Посылка
С→D   С→D Посылка
В ∨D   В∨D Посылка
А ∨С   В→А П.К.1
    D→С П.К.2
    А∨С С.К.Д.3,4,5

Для упражнений

8. Упражнение №1 Воспроизведите комментарии к доказательству



⇐ Предыдущая123456Следующая ⇒





Date: 2015-06-08; view: 543; Нарушение авторских прав


mydocx.ru - 2015-2026 year. (0.413 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию