Файловый архив студентов. Файловый архив студентов.
1261 вуз, 4614 предмет.
/ Регистрация
FAQ Обратная связь Вопросы и предложения
Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Российский новый университет
Предмет:
[НЕСОРТИРОВАННОЕ]
Файл:

Logic шпора

.doc
Скачиваний:
22
Добавлен:
26.05.2015
Размер:
270.34 Кб
Скачать
☆

К вопросам 36, 37, 38, 39 – обоснования правильности модусов.

Modus ponens

A

B

A→B

A→B & A

(A→B & A)→B

и

и

и

и

и

и

л

л

л

и

л

и

и

л

и

л

л

и

л

и

Modus tollens

A

B

A→B

~B

(A→B) & ~B

~A

(A→B) & ~B→~A

и

и

и

л

л

л

и

и

л

л

и

л

л

и

л

и

и

л

л

и

и

л

л

и

и

и

и

и

Modus ponendo tollens

A

B

A←|→B

(A←|→B) & B

~A

(A←|→B) & B→~A

и

и

л

л

л

и

и

л

и

л

л

и

л

и

и

и

и

и

л

л

л

л

и

и

Modus tollendo ponens

A

B

AvB

~A

(AvB) & ~A

(AvB) & ~A→B

и

и

и

л

л

и

и

л

и

л

л

и

л

и

и

и

и

и

л

л

л

и

л

и

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
Помощь Обратная связь Вопросы и предложения Пользовательское соглашение Политика конфиденциальности