Lógica proposicional.

Lógica matemática digital.

Instituto IACC.

28- Noviembre - 2019

 Desarrollo.

A. Si soy inteligente entonces aprendo lógica Y si estudio lógica entonces me gusta la

lógica.

B. Si aprendo lógica entonces soy inteligente Y si estudio lógica entonces aprendo

lógica, por lo tanto soy inteligente.

C. Si estudio lógica Y no aprendo entonces no soy inteligente O no me gusta la lógica.

D. Si me prestas dinero, entonces vamos al cine O al béisbol.

Formula Enunciado Lenguaje lógico Equivalente Contingencia,

natural lógico tautología o
contradicción.

A Si soy inteligente (p→q) Ʌ (r→s) No es Contingencia

entonces aprendo equivalente
lógica y si estudio lógico
lógica entonces me
gusta la lógica.

B Si aprendo lógica Son Contingencia

entonces soy equivalentes
inteligente y si q→[(p→q)Ʌ(r→s)] lógicos
estudio lógica →ΞɅ
entonces aprendo
lógica por lo tanto
soy inteligente.
C Si estudio lógica y (pV-q)→(-rɅ-s) No es Contingencia
no aprendo entonces equivalente
no soy inteligente o lógico.
no me gusta la
lógica.

D Si me prestas p → (q V r) No es Contingencia
dinero entonces equivalente
vamos al cine o al lógico.
béisbol.
 A (p→q) Ʌ (r→s)
p q r s (p → q) Ʌ (r → s)
v v v v v v v v v v v
v v v f v v v f v f f
v v f v v v v v f v v
v v f f v v v v f v f
v f v v v f f f v v v
v f v f v f f f v f f
v f f v v f f f f v v
v f f f v f f f f v f
f v v v f v v v v v v
f v v f f v v f v f f
f v f v f v v v f v v
f v f f f v v v f v f
f f v v f v f v v v v
f f v f f v f f v f f
f f f v f v f v f v v
f f f f f v f v f v f

B q→[(p→q) Ʌ(r→s)]
p q r s q → [(p → q) Ʌ (r → s)]
v v v v v v v v v v v v v
v v v f v f v v v f v f f
v v f v v v v v v v f v v
v v f f v v v v v v f v f
v f v v f v v f f v v v v
v f v f f v v f f v v f f
v f f v f v v f f v f v v
v f f f f v v f f v f v f
f v v v v v f v v v v v v
f v v f v f f v v f v f f
f v f v v v f v v v f v v
f v f f v v f v v v f v f
f f v v f v f v f v v v v
f f v f f f f v f f v f f
f f f v f v f v f v f v v
f f f f f v f v f v f v f
C (pV-q)→(-rɅ-s)
p q r s (p V -q) → (-r Ʌ -s)
v v v v v v f f f f f
v v v f v v f f f f v
v v f v v v f f v f f
v v f f v v f v v v v
v f v v v v v f f f f
v f v f v v v f f f v
v f f v v v v f v f f
v f f f v v v f v f v
f v v v f f f v f f f
f v v f f f f v f f v
f v f v f f f v v f f
f v f f f f f v v v v
f f v v f v v f f f f
f f v f f v v f f f v
f f f v f v v f v f f
f f f f f v v v v v v

D p → (q V r)
p q r p → (q Ʌ r)
v v v v v v v v
v v f v v v v f
v f v v v f v v
v f f v f f f f
f v v f v v v v
f v f f v v v f
f f v f v f v v
f f f f v f f f