A.

LGICA PROPOSICIONAL
1. Determinar el valor de verdad de la siguiente proposicin
Siendo que la siguiente proposicin es falsa y p es verdadera, determinar el valor de verdad
de q, r y s.
[(-p v q) (q r)] v (q s)
2. Simplificar las siguientes proposiciones e indicar cul es la respuesta correcta:
a) (p v q) (-p q)
1) p
2) -p
3) q
4) -q
5) p q
b) [(p p) v -q] [-q v (r q)] [p (p v -q)]
1)
2)
3)
4)
5)

-p
qvr
rq
qr
V

3. Graficar los siguientes circuitos lgicos. Simplificar cuando sea necesario.

1) [(p s) v r] v (p s)
2) (p v q) [(-r v s) (t u)]
4. Abstraer la forma lgica del siguiente razonamiento e indicar si es vlido o invlido
mediante el mtodo del condicional asociado. En el caso de que el razonamiento sea
invlido, elaborar una demostracin adicional mediante la prueba de invalidez a travs
de la asignacin de valores:
Si la temperatura y la presin del aire permanecen constantes, entonces no llueve. La
temperatura permaneci constante por lo tanto si llovi entonces la presin del aire no
permaneci constante.

5.

Indicar qu regla lgica se ha aplicado en la demostracin del siguiente razonamiento:

1) p - q
2) q v r
1

3) p s
4) t (r s)
5) p
6) q
7) r
8) r v s
9) (r s)
10) t

-t

6. Realizar la prueba de invalidez para el siguiente razonamiento invlido:

(-p)
p (q v t)
(-t v q) -t
__________
-q
7.

Demostrar el siguiente razonamiento mediante el mtodo de la demostracin directa:

a) Dem.: p
1) (p v q) (r v s)
2) (r v s) - t
3) t
-----------------