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)

p => ~p v q
V V F V V
V F F F F
F V V V V
F V V V F
 Respuesta: contingencia

2. ( ∼p  ∼q)  p

p q ~p => ~q ∧ `p
V V F V F V V
V F F V V V V
F V V F F F F
F F V V V F F

Respuesta: Tautología

3. ∼ (∼p  ∼q)

~ ~p v ~q
V F F F
F F V V
F V V F
F V V V

Respuesta: contingencia

4. ∼p  q )  ∼p

~ p v q => ~p

F V V V V F
F V V F V F
F F V V V V
V F F F V V
Respuesta: Tautología

5. (∼p  q)  (∼p  q)

~p => q  ~p => q
F V V V F V V
F V F V F V F
V V V V V V V
V F F F V F F

Respuesta: Contingencia

6.( p  ∼q)  ∼ (∼p  q)

p v ~q  ~ ~p  q
V V F V V F F V
V V V V V F F F
F F F V F V V V
F V V V V V F F

Respuesta: Tautología

7. ∼ ( p  ∼q)
 p q ~ (p => ~q

V V V V F F
V F F V V V
F V F F V F
F F F F V V

Respuesta: Contingencia
8. ∼ ( p  q)  ∼p  q

~ p v q  ~p => q
F V V V V F V V
F V V F V F V F
F F V V V V V V
V F F F F V F F

Respuesta: Contingencia