Taller Lógica Proposicional

Páginas: 3 (667 palabras) Publicado: 10 de septiembre de 2013
Razonamiento L´gico
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 2 Razonamiento 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...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Lógica proposicional
  • LA LÓGICA PROPOSICIONAL
  • Logica proposicional
  • Logica proposicional
  • logica proposicional
  • Logica Proposicional
  • Lógica proposicional
  • Logica proposicional

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS