Tarea 1 - Lógica Proposicional

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 1

Lógica y Funciones

________________________________________________________________________________

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)  
 pq rs   ps
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]

IV. Determina el valor de verdad de cada una de las proposiciones

1) Si: ( p  q)  (∼q  r) es falsa, hallar el valor de verdad de:


a) ( p  q)  r .
b) ( p  q)  (r  s) .
c) [r  ( p  s  t)]  ∼ (r  s) .

Jr. 20 de abril N° 935-Zaragoza- Moyobamba-Fonos 561080-945029315-942885634


[email protected]

También podría gustarte