Lógica Proposicional y Teoría de conjuntos

PRACTICA N° 01

1. Determinar el valor de verdad (V o F) de las siguientes proposiciones dadas:

 Sí 5 + 4 = 11, entonces 6 + 6 = 12 ( )
 No es verdad que 3 + 3 = 7 sí y solo sí 5 +5 = 12 ( )
 La UNI está en Lima o está en Trujillo. ( )
 SÍ 2 = 3 entonces 8 es un número primo. ( )
 Lima está en Brasil o la Paz está en Ecuador ( )
 La UNMSM está en Arequipa o está en Lima. ( )
 La vaca come pasto pero la gallina come maíz. ( )
 23 + 32 = 30 ↔ 20 = 1 ( )
 Si 3 = 9 ó 9 es un número múltiplo de dos
2 ( )
 (2+3 < 5) ó (6 – 4 < 7) ( )
 Si 2 = 3 entonces 8 no es un número compuesto. ( )

2. Construir la tabla de verdad de las siguientes proposiciones:

a. ( p  ~ q)  (~ p  q)
b. ~ (p ~ q)  (~ p  r)
c. ~ ~ (p  q) ~ q  p
d. (p ~ r)  (p  r)  (q  p)  (q  p)
e. ~ ~ (p  q)  q ~ p

3. Construir la tabla de verdad y determinar cuáles son tautología, contradicción o

contingencia.

a. (~ p  q) ~ q ~ p
b. ~ p  (~ p ~ q)
c.  p  q  (r  q)  (q  p)
d.  p  (q ~ r) ~  p  r 
e. ~ (~ p  q)  q   p  q

4. Si la proposición (~ p  q)  (~ s  r) es falsa. Determinar cuál de las proposiciones son

verdaderos:

a. ~ (p  q)  r
b. ~ (~ p  q)  (~ r  r)  s
c. (p ~ q)  p ~ q
5. El valor de verdad de: ~ (~ p  q)  (r  q)  (~ p  q)  (q ~ p) es verdadera. Hallar el
valor de verdad de p, q y r.

6. Si la proposición (p ~ q)  (~ r  s) es falsa. Hallar el valor de verdad de los siguientes

esquemas moleculares.

a. (~ p ~ q) ~ q
b. (~ r  q)  (~ q  r)  s
c. ( p  q)  ( p  q) ~ q

Docente. Mg. Olmedo Pizango Isuiza 1 Olpiza10@Hotmail.com

 Lógica Proposicional y Teoría de conjuntos

7. Evaluar cada uno de los siguientes esquemas moleculares mediante la tabla de verdad si
es una tautología, contradicción o contingencia.
 ~  ~  s v ~ s  r   t  ~ t  s 
   r  ~ s  ~ (~ s)~ ~ (~ r)
 ~ (p v r )  (~ q ~ r)  ~ (p ~ p

Docente. Mg. Olmedo Pizango Isuiza 2 Olpiza10@Hotmail.com