TALLER DE LOGICA PROPOSICIONAL

Nombre: John Sebastian Ramirez Castiblanco

C.C. 1016082271

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

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

Forma simbólica:
P = si, las exportaciones disminuyen
Q = Bajaran las utilidades
Formula: P Q

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

Forma simbólica:
P = Los precios son altos
Q = Los costos aumentan
Formula: P Q

c) Si la producción aumenta entonces bajarán los precios

Forma simbólica:
P = Si la producción aumenta
Q = Bajaran los precios
Formula: P Q

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

Forma simbólica:
P = Si aumenta la demanda
Q = Aumenta la oferta y viceversa
Formula: (P Q) ∧ ( P Q)

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

Forma simbólica:
P = Si aumenta la demanda
Q = Aumenta la oferta y viceversa
Formula: (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

b) [ (∼ r v q ) ∧ ( r v ∼ p) ] ⇔ ∼ r

c) [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q ⇒r

Respuesta A

[(V ∧- F) ∨- F] ⇒F, [(V ∧V) ∨V] ⇒F, [ V ∨V] ⇒F, V ⇒F

Respuesta B

[(-V v F) ∧(V ∨- V)] ⇔-V, [(F v F) ∧(V∨F)] ⇔F, F ∧V ⇔F ⇔F

Respuesta C

[(-V ⇒F) ⇒- V] ∨[-F ⇒V], [(F⇒F) ⇒F] ∨[V ⇒V], (V ⇒F) ∨V, F v V

3.- ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:

a) [ ( q ⇔ p ) ∧ ∼ q ] ⇒ ( p ∧ ∼ q ) Falsa

Respuesta A

Verdaderas 3; Falsas 1.

b) [ (∼ p ⇒ q ) ⇒∼ r ] v [ ∼ q ⇒ r ] Falsa

Respuesta B

Verdaderas 8; Falsas 0.

c) { ~p ∧ ( p v q ) } ∧ [ p ⇔ q ] Verdadera

Respuesta C

Verdaderas 0; Falsas 4.
4.- Sean p, q, r, tres proposiciones tales que r es falsa, p ⇔ ∼ q y q ⇒ r son verdaderas,
deducir el valor de verdad de p.

Respuesta = El valor de p es verdadero

Proposiciones: p,q y r // r = Falsa

Para que el bicondicional debe tener las dos proposiciones el mismo valor de verdad,
entonces: V ⇔ V

p⇔∼qyq⇒r
p⇔ (f ∧ v) ⇒ f
p ⇔ ( f) ⇔ f
p⇔ v
v ⇔ v
v

No importa el valor de q: Si q es verdadera, entonces - q = Falsa o lo contrario; q = Falsa - q =

verdadera

5.- Cuál de las siguientes expresiones son lógicamente equivalentes a (∼ p v ∼ q ) ∧ r

Respuesta a) p ⇒ ( ∼ q ∧ r )

∼pv (∼q ∧r)

Aplicando distributivita se tiene: ∼pv ∼q) ∧ (∼pv r)

No, es equivalente a la proposición dada

Respuesta b) ( p ⇒ q ) ∧ r

(∼pv q) ∧r

No es equivalente a la proposición dada.

Respuesta c) ( p ⇒ ∼ q ) ∧ r

( p ⇒ ∼ q ) Equivale a: (~p v ~q)

"( p ⇒ ∼ q ) ∧ r" sería "(~p v ~q) ∧ r"

La propiedad dice que (p⇒q) equivale a ~p⇒~q ó ~p v q.

Si, es equivalente a la proposición dada

Respuesta d) p ⇒ ( q v r )

∼pv (q ∨r)

No, es equivalente a la proposición dada.

7.- 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 ERROR

II p ⇔ q es una proposición falsa VERDADERO

III ∼p v q es una proposición verdaderaERROR

8.- La negación de la proposición p v q es : II ∼p ∧ ∼q

I ∼p v q

Respuesta II ∼p ∧ ∼q

III ∼p v ∼q

9.- Sean p y q dos proposiciones distintas , si (p v q) es falsa entonces

a) p es verdadera y q es falsa

b) p es verdadera y q es verdadera

Respuesta c) p es falsa y q es falsa

p q p∨q
V V V
V F V
F V V
F F F

d) p es falsa y q es verdadera

e) Ninguna de las anteriores

10.- Dada la proposición q = " a ningún niño le gustan las" entonces escriba la preposición ∼q

Respuesta

Q= “a ningún niño le gusta las"

P(x) = “niños que les gusta las"

~ q = “existe algún niño que le gusten las”

11.- 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) :

Respuesta correcta:

a) p ⇒q = V

b) p ∧ q = F
c) p v q = F

d) ∼ p ∧ q = V

12.- Sea P(x) = x + 5 ≤ 9 , x ∈ N .Señale el conjunto validez de P (x).

Respuesta X: 0, 1, 2, 3, ó 4
13.- Dadas las proposiciones: p = José es rico; q = José es avaro. La proposición simbólica
que expresa: " Si José es rico, entonces es avaro "

Respuesta

P= José es rico.

Q= José es avaro

“Si José es rico, entonces es avaro” = Respuesta P Q

14.- Sea P (x) = " x aumentado en 9 , es mayor o igual que 13".De acuerdo con esta
proposición es incorrecto señalar que :

a) ∃ '. x que cumple p(x)

Respuesta correcta: b) ∀ x > 4 se cumple p(x)

Respuesta correcta: c) ∃ x ≤ 4 se cumple p(x)

Desigualdad enunciada (x + 9) ≥ 13

Despejando: (x + 9) - 9 ≥ 13 - 9

x≥4

la desigualdad se cumple si x = 4 o x > 4

d) ∀ x > 14 se cumple p(x)

15.- Sean las proposiciones: p: la computación es fácil q: los ingenieros deben saber
computación Entonces, traduzca a lenguaje verbal las proposiciones siguientes y ¿Cuál(es) a
su juicio representa(n) una expresión aceptable en el sentido cotidiano?

Respuesta
P= la computación es fácil

Q= los ingenieros deben saber computación

a) p ∧ q = la computación es fácil

b) ∼ (p v q)

c) ∼ (q v ∼p)

d) ∼ (p v ∼q)

e) p ⇒ q

16.- Se sabe que la proposición: [(p v q) ∧ p] ⇒ [ (r v q) ⇔ p ] es falsa. Determinar los valores

veritativos de las proposiciones:

a) p, q, r b) [(p ∧ ∼ q) ⇒ (r v p) ] ⇔ [ ∼ q (r v p) ]

Respuesta

P=v

q=f

r=f

Si dice que es falso, por condicional la primera parte tiene que ser necesariamente verdadera y la
segunda falsa.

1era: [(pvq)^p] ... (VvF)=V^V=V

2da: [(rvq)si y sólo si p] ... FvF=F sí y sólo si V= F

Por lo tanto, la 1ra proposición compuesta entonces la 2da proposición compuesta... V entonces F es
Falsa.

17.- Construir las tablas de verdad de y verificar cuales de ellas son tautologías.

a) [(p ∧ ∼q) ⇒ q ]⇔ (p ⇒ q)
b) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]

c) [p ∧ (p ⇒ q) ] ⇒q
18.- Deduzca utilizando propiedades conocidas que la proposición: [(p ∧ ∼q) v (p ∧ r) ] ⇒ (q ∧
r) es la negación de: ∼ (p ⇒ q)

[(p ∧ ¬q) v (p ∧ r) ] ⇒ (q ∧ r) ≅ p ⇒ q

Equivalencia de la condición

¬[(p ∧ ¬q) v (p ∧ r) ] ∨ (q ∧ r)

Propiedad de la negación

[¬(p ∧ ¬q) ∧ ¬(p ∧ r)] ∨ (q ∧ r)

Propiedad de la negación.

[(¬p ∨ q) ∧ (¬p ∨ ¬r)] ∨ (q ∧ r)

Propiedad distributiva inversa.

¬p ∨ [(q ∧ ¬r) ∨ (q ∧ r)]

Asociativa .

¬p ∨ [q ∧ (¬r ∨ r)]

Tercero excluido

¬p ∨ [q ∧ 1]

Identidad

¬p ∨ q

p→q Equivalencia de la disyunción

II.- Tautología ,Contingencia o Contradicción. Demuestre por medio de tablas de verdad si la

siguientes proposiciones son Tautología (T) Contingencia (k) o Contradicción (C)
Tautología: es una expresión lógica que es verdadera para todos los posibles valores de verdad de
sus componentes atómicos. Las proporciones dar el resultado positivo

Contingencia: son aquellas fórmulas que son falsas para cualquier valoración de los símbolos
proporcionales que contiene. Las proporciones dar el resultado negativo

Contradicción: son aquellas formulas cuyo valores de verdadero o falsedad dependen de la

valoración de los símbolos proposicionales que contiene. Las proporciones dar un resultado
negativo y otro positivo

19.- [(p ⇒ q) ∧ ~p] ⇒~q

20.- [(p v q) r] ⇔ [(p’ ⇔ q’) v r’ ]

21.- ∼ {[∼p ∧ (∼q v p)] ⇒ q}

22.- [(a v b) ∧ (a v c)] ⇔ [a v (b ∧ c)]

P q r s p q s
23.- [(a ⇒ b) ∧ (b ⇒c)] ⇔ (a ⇒ c)
P q q r p r
24.- [(p ∧ ∼q) v (p ∧ r) ] ⇒ (q ∧ r) es la negación de: ∼ (p ⇒ q)

III.- Esquemas Equivalentes Se dice que son esquemas equivalentes cuando los valores
veritativos de ambas tablas son iguales. Determine si las siguientes proposiciones son
equivalentes o no.

25. Respuesta
SI, es equivalente ya que los valores veritativos de amblas tablas son iguales

[(p ∧ ∼q) v ∼ (q ∧ ∼p)]

CON [(p ⇒ q)⇒(q ⇒ p) ]

26. Respuesta

SI, es equivalente ya que los valores veritativos de amblas tablas son iguales

(p ⇔ q)

CON (∼p ⇔ ∼q)

27. Respuesta
NO, es equivalente ya que los valores veritativos de amblas tablas no son iguales

[p ⇒ (q v r)]

CON [(p⇒ q) v (q⇒ r)]

28. Respuesta

SI, es equivalente ya que los valores veritativos de amblas tablas son iguales
[p ⇒ (q ∧ r)]

CON [∼p v (q ∧ r)]

29. Respuesta

NO, es equivalente ya que los valores veritativos de amblas tablas no son iguales
[∼ (p v q)]

CON (∼p v ∼q)

30.- Probar que las tres proposiciones siguientes son equivalentes:

p ⇒ (q v r) (p ∧ ∼q) ⇒ r (p ⇒q) v (p ⇒ r)

Respuesta

Si, son equivalentes

Probar que ∼ p es equivalente con [(p v q) ⇒ ( ∼p ∧ q)] ∧ (p ⇒ q)

Transformar la proposición: p ⇒ ∼(∼q ⇒r) en otra equivalente que contenga sólo conectivos "∧ " y
"∼"

p →~ (~q →r)

p →~ (q ˅r) - - Ley de la Condicional

p →(~q ˄~r) - - - Ley de Morgan

~p v (~q ˄~r)- - - Ley de la Condicional