TAREAS: EJERCICIOS TIPO EXAMENES

1.- Escriba en forma simbólica los siguientes enunciados.

a) Si las exportaciones disminuyen entonces bajarán las utilidades

p q

b) Los precios son altos si y sólo sí los costos aumentan

pq
c) Si la producción aumenta entonces bajarán los precios
p q

d) Si aumenta la demanda esto implica que aumenta la oferta y

viceversa
(p q)  (q  p)

e) Si la contaminación aumenta entonces existirá restricción

vehicular adicional
p q

2.- Si p y r son proposiciones verdaderas y q es falsa, determine el valor de

verdad de:

a) [( p   q ) v  r ]  q
[(1  1) V  0]  0
[ 1  0]  0
10
0

b) [  r v q )   r v  p) ]   r
[(0 V 0)  ( V 0)  
(  )  



c) [  p  q )   r ] v [  q r ]
[(0  0)  0] V [1  1]
[1  0] V 1
0V1
1//
3.- ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición
sea:

a) [ ( q  p )   q ]  ( p   q ) Falsa
[(0  0)  1]  [0  1]
[ 1  1 ]  [0  1]
0
0//

b) [  p  q )  r ] v [  q  r ] Falsa
No existen valores de p, q y r que hagan la proposición falsa.

c) { ~p  ( p v q ) }  [ p  q ] Verdadera
No existen valores de p y q que satisfasca la proposicon verdadera.

4.- Cuál de las siguientes expresiones son lógicamente equivalentes a

 p v  q   r 00101010
a) p    q  r ) 00101111
b) ( p  q )  r 10001010
c) ( p   q   r 00101010 equivalente
d) p   q v r ) 11101111

5.- Si la proposición p es verdadera y la proposición q es falsa, entonces de

las siguientes afirmaciones es (son) correcta ( s ):

I p  q es una proposición verdadera

II p  q es una proposición falsa
III p v q es una proposición verdadera

RESPUESTA: II_________________________________

6 .- Si la proposición p es verdadera ( V ) y la proposición q es verdadera (

V ) . De las expresiones siguientes cuál (es) es(son) correcta(s) :

a) p q = V
b) p  q = F
c) p v q = F
d)  p  q = V

RESPUESTA : A______________________________________

7 .- Construir las tablas de verdad de y verificar cuales de ellas son

tautologías.

a) [(p  q)  q ] (p  q) 1111 tautologia

b) (p  q)  [(p  q)] 1001
c) [p  (p  q) ] q 1111 tautologia

RESPUESTA : A C ______________________________________

8.- Demuestre por medio de tablas de verdad (NO SE PERMITE POR

AHORA REDUCCION AL ABSURDO) si las siguientes proposiciones son
Tautología (T) Contingencia (k) o Contradicción (C)

8.1.- [(p  q)  ~p] ~q 1101 K

8.2.-  {[p  (q v p)]  q} 0001 T

8.3.- [(a v b)  (a v c)]  [a v (b  c)] 11111111 T

8.4.- [(a  b)  (b c)]  (a  c) 11011011 K

8.5.- [(p  q) v (p  r) ]  (q  r) es la negación de:  (p  q)

00110000 K

9.- Se dice que son esquemas equivalentes cuando los valores veritativos de
ambas tablas son iguales. Determine si las siguientes proposiciones son
equivalentes o no. (Por cada uno de los ejercicios deben de realizar las dos
tablas de verdad)

9.1.- [(p  q) v  (q  p)] con [(p  q)(q  p) ]

p q q p p  q  V
1 1 0 0 0 0 1 1
1 0 1 1 0 0 1 1
0 1 0 0 1 1 0 0
0 0 1 0 1 1 1 1

equivalente

9.2.- (p  q) con (p  q)

 p q P q
1 1 1
1 0 0
0 1 0
0 0 1

p q p q 
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
Equivalente

9.3.- [p  (q v r)] con [(p q) v (q r)]

p q r qVr P
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 0 0
0 1 1 1 1
0 1 0 1 1
0 0 1 1 1
0 0 0 0 1

p q r p q q r V
1 1 1 1 1 1
1 1 0 1 0 1
1 0 1 0 1 1
1 0 0 0 1 1
0 1 1 1 1 1
0 1 0 1 0 1
0 0 1 1 1 1
0 0 0 1 1 1

9.4.- [p  (q  r)] con [p v (q  r)]

p q r qr p
1 1 1 1 1
1 1 0 0 0
1 0 1 0 0
1 0 0 0 0
0 1 1 1 1
0 1 0 0 1
0 0 1 0 1
0 0 0 0 1

p q r p qr V
1 1 1 0 1 1
1 1 0 0 0 0
1 0 1 0 0 0
1 0 0 0 0 0
0 1 1 1 1 1
0 1 0 1 0 1
0 0 1 1 0 1
0 0 0 1 0 1
equivalente

9.5.- [ (p v q)] con (p v q)

p q pVq 
1 1 1 0
1 0 1 0
0 1 1 0
0 0 0 1

p q p q V
1 1 0 0 0
1 0 0 1 1
0 1 1 0 1
0 0 1 1 1

10 .- Probar que las tres proposiciones siguientes son

equivalentes:
p  (q v r)

p q r qVr p
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 0 0
0 1 1 1 1
0 1 0 1 1
0 0 1 1 1
0 0 0 0 1

(p  q)  r
 p q r q p V
1 1 1 0 0 1
1 1 0 0 0 1
1 0 1 1 1 1
1 0 0 1 1 0
0 1 1 0 0 1
0 1 0 0 0 1
0 0 1 1 0 1
0 0 0 1 0 1

(p q) v (p  r

p q r p q pr V
1 1 1 1 1 1
1 1 0 1 0 1
1 0 1 0 1 1
1 0 0 0 0 0
0 1 1 1 1 1
0 1 0 1 1 1
0 0 1 1 1 1
0 0 0 1 1 1

RESPUESTA: Las 3 son equivalentes.