UNIPANAMERICANA

MATEMATICAS DISCRETAS
DEMOSTRACIONES INFERENCIAS

𝑝 → ~𝑞 ~𝑞˅p
~𝑞 → ~𝑠 𝑞˅r
1. { 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑟 𝑝→t
~(𝑝˄s)→~t 7.
(~𝑤˄s)→u
𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑡 → 𝑢
𝑟→𝑡 ~𝑟˄s
{ 𝑤 → ~𝑡

𝑞↔r
𝑝˅t (𝑛˅u)↔t
𝑝 → ~(𝑟˅𝑠) 𝑡↔q
2. { ~t 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑞˄~𝑟 8. t↔p 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑠
~𝑞 → (𝑟˅s) 𝑝˄~n
~𝑢 ↔ ~𝑚
{ 𝑠↔𝑚

~𝑞˅s
~𝑝˅w ~𝑟→t
(𝑚˄t)→q 𝑚˄q
3. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑢 → ~𝑞
~(𝑚˄t)→u ~𝑠→u
~𝑠 9. (𝑢˄t)→(w˅x) 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑥˅w
{ ~𝑤 (𝑚˅n)→~𝑟
{ (𝑝˅q) → ~𝑠
𝑝→q
~𝑟˅𝑠
4. {𝑞 → 𝑟 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~(~𝑝 → ~𝑚)
𝑚˅r 𝑧↔q
~s 𝑞↔n
𝑤↔r
t↔s
10. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑝˄m
~𝑟 ~r˄~x
𝑚→𝑛 𝑤↔𝑡
5. { m 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 𝑠 → 𝑝 (𝑠˅p)˄(n˅m)
𝑛 → (𝑟˅~s) { 𝑧↔𝑥

𝑝→~(q˄r) ~(𝑝˅q)→r
𝑟˅𝑠 ~(𝑤˅m)
6. ~(~𝑠˄~m) → 𝑡 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑝 ~(𝑧˅n)
𝑚˅q 11. 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~(~𝑟˅~t)
~(𝑚˅n)→t
{ ~t˄~w ~(𝑠˅p)
{ ~(𝑢˅q)