Современная логика

1. Современная Логика

СОВРЕМЕННАЯ ЛОГИКА
ВВОДНЫЙ КУРС
Максим Буланенко,
доцент кафедры философии ДВО РАН

2. Естественный вывод

ЕСТЕСТВЕННЫЙ ВЫВОД
А
В
А˄В
в˄
А˄В
А
В
у˄

3. Естественный вывод

ЕСТЕСТВЕННЫЙ ВЫВОД
А
А˅В
в˅
А˅В
¬А
В
у ˅ [= ас]

4. Естественный вывод

ЕСТЕСТВЕННЫЙ ВЫВОД
А→В
В→А в↔
А↔В
А↔В
А→В
В→А
у↔

5. Естественный вывод

ЕСТЕСТВЕННЫЙ ВЫВОД
А → ¬В
¬А → В в ↮
А↮В
А↮В
А → ¬В у ↮
¬А → В

6. Естественный вывод

ЕСТЕСТВЕННЫЙ ВЫВОД
А → В ˄ ¬В
в¬
¬А
¬¬А
А
у¬

7. Естественный вывод

ЕСТЕСТВЕННЫЙ ВЫВОД
А→В
k (k) А
вд
.
у → [= мп]
А
.
.
В
m(l,k) В
n (l) А → В в →: k,m

8. Введение условия

ВВЕДЕНИЕ УСЛОВИЯ
1 (1)
2 (2)
3 (1,2)
4 (1)
¬(А ˄ ¬В)
А
В
А→В
вд
вд (ус)
кс: 1,2
в →: 2,3
¬(А ˄ ¬В)
А→В

9. Спасибо за внимание!

СПАСИБО ЗА ВНИМАНИЕ!
До встречи
на следующих занятиях!