Tarea 1 - Lógica Proposicional
Tarea 1 - Lógica Proposicional
Tarea 1 - Lógica Proposicional
________________________________________________________________________________
AUTOEVALUACION.
Simbolizar las proposiciones siguientes haciendo uso de las variables proposicionales y de los
conectivos lógicos:
Es falso que este auto sea mío y no sea de mi hermana.
Ana está triste porque repitió el curso.
Si no llueve, no nos quedaremos en casa.
Si ayudaron a las víctimas, no hay indiferencia.
Él tiene mala fama pero la tuya no es mejor.
Si el agua es clara, entonces Pedro puede ver el fondo del estanque.
APLICACIÓN
I. Simbolizar las proposiciones siguientes haciendo uso de las variables proposicionales y de los
conectivos lógicos
Puedes ir al cine si terminas de pintar tu cuarto.
Ni los buenos deseos ni los buenos pensamientos aliviarán tu suerte.
Seré un buen profesional si estudio con ahínco y sirvo a mi patria.
No se dará el caso que vaya a patinar y no me rompa una pierna.
Luís está hospitalizado ya que sufrió un accidente.
El que estudia lógica no está libre de cometer errores, pero tiene menos probabilidad de
equivocarse.
II. Construir la tabla de verdad de las proposiciones que se da y decir si son tautologías,
contradicciones o contingencias.
1. p ∼p q)
2. ( ∼p ∼q) p
3. ∼ (∼p ∼q)
4. ∼p q ) ∼p
5. (∼p q) (∼p q)
6. ( p ∼q) ∼ (∼p q)
7. ∼ ( p ∼q)
8. ∼ ( p q) ∼p q
III. Hallar la tabla de verdad de
1) [ (p ⇒q) 𝚲 (q ⇒ r)] ⇒ (p ⇒r)
2)
pq rs ps
3) p ∼r s∼t vq
4) [P 𝚲 (p ⇒q)] ⇒ P
5) ( p ∧ q)↔ (~q⇒~p)
6) ~ (p v q) ↔ ~ (p ∧~q)
7) (q ⇒ r) v (~P ⇒ q)
8) [(~ P 𝚲 q) ⇒ ~ (p v ~ q)]
9) [( p ∼q) r] [(q r) ∼r]