I DE

B AVCí c tH I L L E R AT
or Patiño Rodríguez
O
vpatino@mariscalsucre.edu.ec
𝐎𝐏𝐄𝐑𝐀𝐃𝐎𝐑𝐄𝐒 𝐋 Ó 𝐆𝐈𝐂𝐎𝐒
 𝑻𝑨𝑩𝑳𝑨𝑺 𝑫𝑬 𝑽𝑬𝑹𝑫𝑨𝑫
𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟖: (𝒑 ∧𝒒 )→ 𝒓
2 𝟏°

p q r

V V V 𝑽 𝑽
V V F 𝑽 𝑭
V F V 𝑭 𝑽
V F F
𝑭 𝑽
F V V 𝑭 𝑽
F V F
𝑭 𝑽
F F V
𝑭 𝑽
F F F
𝑭 𝑽
 𝑻𝑨𝑩𝑳𝑨𝑺 𝑫𝑬 𝑽𝑬𝑹𝑫𝑨𝑫
𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟗: (𝒑 ∨𝒒 )→ 𝒓

2 𝟏°
p q r

V V V 𝑽 𝑽
V V F 𝑽 𝑭
V F V 𝑽 𝑽
V F F 𝑽 F
F V V 𝑽 𝑽
F V F 𝑽 F
F F V
𝑭 𝑽
F F F
𝑭 𝑽
 𝑻𝑨𝑩𝑳𝑨𝑺 𝑫𝑬 𝑽𝑬𝑹𝑫𝑨𝑫
𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏𝟎: ( 𝒑 → 𝒒) ∧ ( 𝒒 → 𝒑 )

𝟏° 2

p q
V V V V V
V F 𝑭 F
V
F V F
V 𝑭
F F V V V

2 𝟏°
 𝑻𝑨𝑩𝑳𝑨𝑺 𝑫𝑬 𝑽𝑬𝑹𝑫𝑨𝑫
𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏𝟏: 𝒒 ∨ ( ¬ 𝒑 → 𝒒)

2 𝟏°
p q q
V V F V V
V F F V V
F V V V V
F F 𝑭
V 𝑭
 𝑻𝑨𝑩𝑳𝑨𝑺 𝑫𝑬 𝑽𝑬𝑹𝑫𝑨𝑫
𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏𝟐: [ ( ¬ 𝒑 → 𝒒) ∧ ¬ 𝒑 ] → 𝒒

2 𝟏°

p q

V V
𝑭 V
V F 𝑭 V 𝑻𝑨𝑼𝑻𝑶𝑳𝑶𝑮 Ì 𝑨
F V
V 𝑽
F F
𝑽 𝑭

2 𝟏°
 𝑻𝑨𝑩𝑳𝑨𝑺 𝑫𝑬 𝑽𝑬𝑹𝑫𝑨𝑫
𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏𝟐: [ ( ¬ 𝒑 → 𝒒) ∧ ¬ 𝒑 ] → 𝒒

2 𝟏° 𝑽
𝑻𝑨𝑼𝑻𝑶𝑳𝑶𝑮 Ì 𝑨
p q

V V 𝑭 V
V F 𝑭 V
F V
V
F F 𝑽 𝑭
2 𝟏°
 𝑨𝑪𝑻𝑰𝑽𝑰𝑫𝑨𝑫𝑬𝑺 𝑫𝑬 𝑹𝑬𝑭𝑼𝑬𝑹𝒁𝑶
𝑪𝒐𝒏𝒔𝒕𝒓𝒖𝒚𝒂 𝒍𝒂𝒕𝒂𝒃𝒍𝒂 𝒅𝒆𝒗𝒆𝒓𝒅𝒂𝒅 𝒅𝒆𝒍𝒂𝒔 𝒔𝒊𝒈𝒖𝒊𝒆𝒏𝒕𝒆𝒔 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔 :
¬ 𝒑 ∧[¬ 𝒒 ∨( 𝒑 → 𝒒 )]

[ ( 𝒑 →𝒒 ) ∨ ( ¬ 𝒒 ∧ 𝒓 ) ] ↔ ( 𝒓 → 𝒒 )


“El matemático puro como el
músico, es un creador libre
de un mundo de belleza
ordenada ”
Bertrand Russell.

vpatino@mariscalsucre.edu.ec