Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Материалы к семинарам по логике.doc
Скачиваний:
2
Добавлен:
07.12.2018
Размер:
819.2 Кб
Скачать

3. Импликации

(АВ)  А, (АВ)А - удаление конъюнкции

А (АВ), В  (АВ) – введение дизъюнкции

Самодистрибутивность импликации:

(А  (В  С))  ((А  В)  (А  С))

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

1. Рассуждение по случаям:

Если А ├ В и С ├ D, то АС ├ ВD

2. Введение импликации:

Если А1, А2, … Аn ├ B, то А1, А2, … Аn-1 ├ АnВ.

3. Теорема дедукции:

Если А1, А2, … Аn-1 ├ АnВ, то А1, А2, … Аn ├ B

1 Израиль допускает двойное гражданство

2 Украина не допускает двойного гражданства

3 Апатрид – человек, не имеющий гражданства ни одной страны.

4 Бенефициар – лицо, на чье имя выдана банковская гарантия.