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

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

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

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

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

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

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

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