Taller Lógica Proposicional
o
PRAP - Iapes
2013
Taller 01: L´gica Proposicional
o
Ejercicio 1
Formaliza el siguiente enunciado. ¿Cu´ntas variables tiene la tabla? ¿Es una tautolog´
a
ıa?. “Siun animal
fabuloso se enfada, te quedas paralizado del susto; y si te quedas paralizado del susto, entonces no puedes
sino apelar a su bondad y as´ no ser engullido. Por lo tanto, si un animalfabuloso se enfada, tendr´s que
ı
a
apelar a su bondad o ser´s engullido.”
a
Ejercicio 2
Confecciona las tablas de verdad de las siguientes proposiciones. ¿Son tautolog´
ıas?.
a) (p ∧ q) → [¬(p ∨¬q)]
b) (p → q) ↔ [¬(p ∧ ¬q)]
c) (p ∨ q) → [¬(¬p ∧ ¬q)]
Ejercicio 3
Confecciona las tablas de verdad de las siguientes proposiciones. ¿Son tautolog´
ıas?.
a) .
• Si acepto este trabajo odejo de pintar por falta de tiempo, entonces no realizar´ mis sue˜os.
e
n
• He aceptado el trabajo y he dejado de pintar.
• Por lo tanto, no realizar´ mis sue˜os.
e
n
b) .
• Si vamos a Asia,entonces llegaremos hasta la India.
• Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi.
• Si vamos a India entonces, si visitamos Varanasi podremos ver el Ganges.
• Por lotanto, si vamos a Asia veremos el Ganges.
Ejercicio 4
Halla las tablas de verdad de los siguientes argumentos.
a) (p ∧ q) → r , p ∨ ¬r
b) (p ∨ q) → r ∧ s , ¬r
¬q
¬s → ¬q
Page 1 of 2Razonamiento L´gico
o
PRAP - Iapes
2013
Ejercicio 5
Formaliza los siguientes enunciados, indicando qu´ enunciado simple corresponde a cada variable que uses.
e
a) Si no hay ruidos y no est´ssordo, entonces debes o´
a
ırme.
b) Ir´ al cine o al teatro, si me invitas.
e
c) En el caso de que venga Cipriano, vendr´n Fulgencia y Eustaquia.
a
d) Si hay guerra, no crecer´ el paro ni lainflaci´n.
a
o
e) Juan debe declarar y ser sincero, o no debe declarar.
f) Federico se ir´ a las Fiji o a las Seychelles si y s´lo si le toca la loter´ y no se arruina en la ruleta.
a
o
ıa
g) El...
Regístrate para leer el documento completo.