Cálculo proposicional

Alexis Villalobos Salazar

Lógica Matemática y Digital

Instituto IACC

04 de febrero 2019
 Desarrollo

Fórmula Enunciado Lenguaje Lógico Equivalente Contingencia,

Natural Lógico Tautología o
contradicción
Si soy inteligente P: Soy inteligente.
entonces aprendo
A q: aprendo lógica
lógica y si estudio
r: estudio lógica (p→q)˄(r→s) Contingencia
lógica entonces me
gusta la lógica. s: me gusta la lógica

Si aprendo lógica
entonces soy
P: Aprendo lógica
inteligente, y si
B q: Soy inteligente (r→q)˄(p→r) Contingencia
estudio lógica
entonces aprendo r: Estudio lógica =>q
lógica, por lo tanto
soy inteligente
Si estudio y no P: si estudio
aprendo entonces
C ̴ q: no aprendo (p˄ ̴ r)→ Contingencia
no soy inteligente o
̴ r: no soy ( ̴ q v ̴ s)
no me gusta la
inteligente
lógica. ̴ s: no me gusta la
lógica
Si me prestas A: me prestas dinero
dinero, entonces
D B: vamos al cine A→(B˅C) Tautología
vamos al cine o al
C: vamos al beisbol
béisbol
Tabla de Verdad

 A.- (p → q) ˄ (r → s)

p q r s (p → q) ˄ (r → s)
1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 1 1 0 1 0 0
1 1 0 1 1 1 1 1 0 1 1
1 1 0 0 1 1 1 1 0 1 0
1 0 1 1 1 0 0 0 1 1 1
1 0 1 0 1 0 0 0 1 0 0
1 0 0 1 1 0 0 0 0 1 1
1 0 0 0 1 0 0 0 0 1 0
0 1 1 1 0 1 1 1 1 1 1
0 1 1 0 0 1 1 0 1 0 0
0 1 0 1 0 1 1 1 0 1 1
0 1 0 0 0 1 1 1 0 1 0
0 0 1 1 0 1 0 1 1 1 1
0 0 1 0 0 1 0 0 1 0 0
0 0 0 1 0 1 0 1 0 1 1
0 0 0 0 0 1 0 1 0 1 0

Tabla de Verdad

 B.- (r→q)˄(p→r) =>q

q r (r → q) ˄ (p → r) →q
1 1 1 1 1 1 1 1 1 1
1 0 0 1 1 0 1 0 0 1
0 1 1 0 0 0 1 1 1 0
0 0 0 1 0 0 1 0 0 0
1 1 1 1 1 1 0 1 1 1
1 0 0 1 1 1 0 1 0 1
0 1 1 0 0 0 0 1 1 0
0 0 0 1 0 1 0 1 0 0
Tabla de Verdad

 C.- (p ˄ ̴ r) → ( ̴ q v ̴ s)

p q r s (p ˄ ̴r) → ( q
̴ ˅ ̴ s)
1 1 1 1 1 1 0 1 0 0 0
1 1 1 0 1 0 0 0 0 1 1
1 1 0 1 1 1 1 1 0 0 0
1 1 0 0 1 1 1 1 0 1 1
1 0 1 1 1 0 0 0 1 1 0
1 0 1 0 1 0 0 0 1 1 1
1 0 0 1 1 1 1 1 1 1 0
1 0 0 0 1 1 1 1 1 1 1
0 1 1 1 0 0 0 0 0 0 0
0 1 1 0 0 0 0 0 0 1 1
0 1 0 1 0 0 1 0 0 0 0
0 1 0 0 0 0 1 0 0 1 1
0 0 1 1 0 0 0 0 1 1 0
0 0 1 0 0 0 0 0 1 1 1
0 0 0 1 0 0 1 0 1 1 0
0 0 0 0 0 0 1 0 1 1 1
Tabla de Verdad:

 D.- A→(B˅C)

A B C A → (B ˅ C)
1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 0
1 0 1 1 0 0 1 1
1 0 0 1 0 0 0 0
0 1 1 0 1 1 1 1
0 1 0 0 1 1 1 0
0 0 1 0 1 0 1 1
0 0 0 0 1 0 0 0
 Bibliografía

https://www.youtube.com/watch?v=UYzNy4DtTHo
https://www.youtube.com/watch?v=a5cEaETtTNo
IACC (2019). Lógica Matemática y Digital, Cálculo proposicional, semana 3.
IACC (2019).Lógica Matemática y Digital, recursos adicionales, Ejercicios resueltos,
semana 3.