DEMOSTRACIONES INFERENCIAS

Estudiante
JOHANN SEBASTIAN ROJAS HIGUERA

Docente
JAIRO RODRIGUEZ RODRIGUEZ

Asignatura
Matemática Discreta

Institución
Fundación universitaria Unipanamericana
Setiembre 2018.
 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)
FORMULAS
 Solución de Ejercicios Propuestos.

𝑝 → ~𝑞
~𝑞 → ~𝑠
1) { 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝑅 ~𝑟
~(𝑝˄s)→~t
𝑟→𝑡
R/:

𝒑 → ~𝒒 (𝟏, 𝟐)−→ "𝑴𝑷”

~𝒒 𝒗 ~ 𝒔 (𝟓)−→ "𝑫𝑭"

~ (𝒑 ˄ s) (𝟔)−→ "𝑳𝑫"

~ 𝒕 (𝟑, 𝟕)−→ "𝑴𝑷"

~ 𝒓 (𝟒, 𝟖) −→ "𝑴𝑻"

𝒑˅t
𝒑 → ~(𝒓˅𝒔)
𝟐) { 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 𝒒˄~𝒓
~t
𝒒 → (𝒓˅s)
R/:
𝐩 (𝟏, 𝟑)−→ "𝐒𝐃"

~(𝐫 𝐯 𝐬) (𝟐, 𝟓)−→ "𝐌𝐓"

~ 𝐫 ˄ ~𝐬 (𝟔)−→ "𝐋𝐃"

~𝐫 (𝟕)−→ "𝐒𝐢𝐦"

~ 𝐪 (𝟒, 𝟔)−→ "𝐌𝐏"

~ 𝐪 𝐯 𝐪 (𝟗)−→ 𝐀𝐝𝐢𝐜𝐢𝐨𝐧

~ 𝐪 ˄ 𝐪 (𝟏𝟎)−→ 𝐋𝐃

𝐪 (𝟏𝟏)−→ 𝐒𝐢𝐦

𝐪 ˄ ~𝐫 𝐂𝐨𝐧𝐣𝐮𝐧𝐜𝐢𝐨𝐧 (𝟖, 𝟏𝟐)

 ~𝒒˅s
~𝒑˅w
(𝒎˄t)→q
𝟑) 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 ~𝒖 → ~𝒒
~(𝒎˄t)→u
~𝒔
{ ~𝒘
R/:
~ 𝒒 (𝟏, 𝟓)−→ "𝑺𝑫"

~ 𝒎 ˅ ~ 𝒕 → 𝒖 (𝟒)−→ "𝑳𝑫"

𝒎 ˅ 𝒕 → 𝒒 (𝟑)−→ "𝑳𝑫"

~𝒖 ˅ ~ 𝒕 (𝟖, 𝟗)−→ "𝑺𝑫"

~𝒖 ˄ ~ 𝒕 (𝟏𝟎)−→ "𝑳𝑫"

~𝒖 (𝟏𝟏)−→ "𝑺𝒊𝒎"

~𝒖 ˄ ~ 𝒒 (𝟕, 𝟏𝟐)−→ "𝑪𝒐𝒏𝒋𝒖𝒏𝒄𝒊𝒐𝒏"

~𝒖 → ~ 𝒒 (𝟏𝟑)−→ "𝑬𝒙𝒑𝒐𝒓𝒕𝒂𝒄𝒊𝒐𝒏"

𝒑→q
~𝒓˅𝒔
4) 𝒒→𝒓 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 ~(~𝒑 → ~𝒎)
𝒎˅r
{ ~s
R/:

~ 𝒓 (𝟐, 𝟓)−→ "𝑺𝑫"

~𝒒 (𝟑, 𝟔)−→ "𝑴𝑻"

𝒎 ˄ 𝒓 (𝟒)−→ "𝑳𝑫"

𝒎 (𝟖)−→ "𝑺𝒊𝒎"

~𝒑 (𝟏, 𝟕)−→ "𝑴𝑻 "

𝒎 ˄ ~𝒑 (𝟗, 𝟏𝟎)−→ "𝑪𝒐𝒏𝒋𝒖𝒏𝒄𝒊𝒐𝒏 "

~ (~𝒑 → ~𝒎) (𝟏𝟏)−→ "𝑬𝒙𝒑𝒐𝒓𝒕𝒂𝒄𝒊𝒐𝒏"

~𝒓
𝒎→𝒏
5) { m 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 𝒔 → 𝒑
𝒏 → (𝒓˅~s)

R/:

𝐧 (𝟐, 𝟑)−→ "𝐌𝐏"

𝐫 𝐯 ~𝐬 (𝟒, 𝟓)−→ "𝐌𝐏"

~𝐫 𝐯 𝐩 (𝟏)−→ "𝐀𝐝𝐢𝐜𝐢𝐨𝐧"

𝐫 ˄ ~𝐬 (𝟔)"𝐋𝐃"

~𝐫 ˄ 𝐩 (𝟕)−→ "𝐋𝐃"

~𝐬 (𝟖)−→ "𝐒𝐢𝐦"

𝐩 (𝟗)−→ "𝐒𝐢𝐦"

~𝐬 𝐯 𝐬 (𝟏𝟎)−→ "𝐀𝐝𝐢𝐜𝐢𝐨𝐧"

𝐬 (𝟏𝟐)−→ "𝐒𝐢𝐦"

𝐬 ˄ 𝐩 (𝟏𝟏, 𝟏𝟑)−→ "𝐂𝐨𝐧𝐣𝐮𝐧𝐜𝐢𝐨𝐧 "

𝐬 → 𝐩 (𝟏𝟒)−→ "𝐄𝐱𝐩𝐨𝐫𝐭𝐚𝐜𝐢𝐨𝐧"

𝒑→~(q˄r)
𝒓˅𝒔
6) ~(~𝒔˄~m) → 𝒕 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 ~𝒑
𝒎˅q
{ ~t˄~w
R/:

~𝒑 𝑹𝒆𝒅𝒖𝒄𝒄𝒊𝒐𝒏 (𝟏)

~𝒒˅p
𝒒˅r
𝒑→t
7) 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 𝒕 → 𝒖
(~𝒘˄s)→u
~𝒓˄s
{ 𝒘 → ~𝒕
R/:

~ 𝐫 𝐯 ~ 𝐭 (𝟏, 𝟐, 𝟑)−→ "𝐒𝐃"

~ 𝐫 ˄ ~ 𝐭 (𝟕)−→ "𝐋𝐃"

~ 𝐭 (𝟖)−→ "𝐒𝐢𝐦"

𝐰 (𝟔, 𝟗)−→ "𝐌𝐏"

𝐬 (𝟓)−→ "𝐒𝐢𝐦"

~ 𝐰 ˄ 𝐬 (𝟏𝟎, 𝟏𝟏)−→ "𝐂𝐨𝐧𝐣𝐮𝐧𝐜𝐢𝐨𝐧"

~ 𝐮 (𝟒, 𝟏𝟐)−→ "𝐌𝐓 "

~𝐮˄~𝐭 (𝟗, 𝟏𝟑)"𝐂𝐨𝐧𝐣𝐮𝐧𝐜𝐢𝐨𝐧"

𝐭 → 𝐮 (𝟏𝟒)−→ "𝐄𝐱𝐩𝐨𝐫𝐭𝐚𝐜𝐢𝐨𝐧"

𝒒↔r
(𝒏˅u)↔t
𝒕↔q
8) t↔p 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 𝒔
𝒑˄~n
~𝒖 ↔ ~𝒎
{ 𝒔↔𝒎
R/:

𝐬 → 𝐦 (𝟕)−→ "𝐋𝐁"
~𝐦 → ~𝐮 (𝟔)−→ "𝐋𝐁"

~𝐬 → ~𝐮 (𝟖, 𝟗)−→ "𝐬𝐡"

~𝐬 ˄ ~𝐮 (𝟏𝟎)−→ "𝐈𝐦𝐩𝐨𝐫"

~𝐬 (𝟏𝟏)−→ "𝐒𝐢𝐦"

~𝐬 𝐯 𝐬 (𝟏𝟐)−→ "𝐀𝐝𝐢𝐜𝐢𝐨𝐧"

~𝐬 ˄ 𝐬 (𝟏𝟑)−→ "𝐀𝐝𝐢𝐜𝐢𝐨𝐧"

𝐬 (𝟏𝟒)−→ "𝐒𝐢𝐦"

~𝒓→t
𝒎˄q
~𝒔→u
9) (𝒖˄t)→(w˅x) 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 𝒙˅w
(𝒎˅n)→~𝒓
{ (𝒑˅q) → ~𝒔
R/:

𝐦 𝐯 𝐧 → 𝐭 (𝟓, 𝟏)−→ "𝐓𝐫𝐚𝐧 "

𝐩 𝐯 𝐪 → 𝐮 (𝟔, 𝟑)−→ "𝐓𝐫𝐚𝐧"

𝐦 (𝟐)−→ "𝐒𝐢𝐦"

𝐪 (𝟐)−→ "𝐒𝐢𝐦"

𝐦 𝐯 𝐧 (𝟗)−→ "𝐝𝐢𝐬"

𝐪 𝐯 𝐩 (𝟏𝟎)−→ "𝐝𝐢𝐬"

𝐭 (𝟕, 𝟏𝟏)−→ "𝐌𝐏"

𝐮 (𝟖, 𝟏𝟐)−→ "𝐌𝐏"

𝐭 ˄ 𝐮 (𝟏𝟑, 𝟏𝟒)−→ "𝐃𝐢𝐬𝐠𝐮𝐧𝐜𝐢𝐨𝐧"

𝐰 ˄ 𝐱 (𝟒, 𝟏𝟓)−→ "𝐌𝐏"

 𝒛↔q
𝒒↔n
𝒘↔r
10) t↔s 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 𝒑˄m
~r ˄ ~x
𝒘↔𝒕
(𝒔˅p)˄(n˅m)
{ 𝒛↔𝒙
R/:

𝒔 𝒗 𝒑 (𝟕)  “𝑺𝒊𝒎"

𝒏 𝒗 𝒎 (𝟕)−→ "𝑺𝒊𝒎"

𝒔 ˄ 𝒑 (𝟗)−→ "𝑳𝑫"

𝒏 ˄ 𝒎 (𝟏𝟎)−→ "𝑺𝒊𝒎"

𝒑 (𝟏𝟏)−→ "𝑺𝒊𝒎"

𝒎 (𝟏𝟐)−→ "𝑺𝒊𝒎"

𝒑 ˄ m (𝟏𝟑, 𝟏𝟒)−→ "𝑪𝒐𝒏𝒋𝒖𝒏𝒄𝒊𝒐𝒏"

~(𝒑˅q)→r
~(𝒘˅m)
~(𝒛˅n)
11) 𝑫𝑬𝑴𝑶𝑺𝑻𝑹𝑨𝑹 ~(~𝒓˅~t)
~(𝒎˅n)→t
~(𝒔˅p)
{ ~(𝒖˅q)

R/:

~ 𝐳 ˄ ~ 𝐧 (𝟑) -→ "𝐋𝐃"

~ 𝐧 (𝟕)−→ "𝐒𝐢𝐦"

~ 𝐳 (𝟕)−→ "𝐒𝐢𝐦"

~ 𝐳 𝐯 ~(𝐦𝐯𝐧) (𝟗)−→ "𝐀𝐝𝐢𝐜𝐢𝐨𝐧"

~ 𝐳 ˄ ~(𝐦𝐯𝐧) (𝟏𝟎)−→ "𝐋𝐃"

~(𝐦𝐯𝐧) (𝟏𝟏)−→ "𝐒𝐢𝐦"

~𝐭 (𝟒, 𝟏𝟐)−→ "𝐌𝐓"

~ 𝐬 ˄ ~ 𝐩 (𝟓)−→ "𝐋𝐃"

~ 𝐩 (𝟏𝟒)−→ "𝐒𝐢𝐦"

~(𝐩˅q) v ~ 𝐩 (𝟏𝟓)"𝐀𝐝𝐢𝐜𝐢𝐨𝐧"

~(𝐩˅q) ˄ ~ 𝐩 (𝟏𝟔)−→ "𝐋𝐃"

~(𝐩˅q) (𝟏𝟕)−→ "𝐒𝐢𝐦"

~𝐫 (𝟏, 𝟏𝟖)−→ "𝐌𝐓"

~𝐫 ˄ ~𝐭 (𝟏𝟑, 𝟏𝟗)−→ "𝐂𝐨𝐧𝐣𝐮𝐧𝐜𝐢𝐨𝐧"

~𝐫 v ~𝐭 (𝟐𝟎)−→ "𝐋𝐃"
 Bibliografía

https://www.youtube.com/watch?v=OuHYh1Xw5no
https://www.youtube.com/watch?v=yWBQN1dhUlU
https://www.youtube.com/watch?v=ij_J73Uc43c