Шпаргалка по "Логике"
Автор работы: Пользователь скрыл имя, 28 Ноября 2011 в 17:52, шпаргалка
Краткое описание
шпаргалки к зачету по логике
Содержимое работы - 1 файл
К
вопросам 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 |
| и |
и |
и |
л |
л |
и |
| и |
л |
и |
л |
л |
и |
| л |
и |
и |
и |
и |
и |
| л |
л |
л |
и |
л |
и |
|
|
Информация о работе Шпаргалка по "Логике"