USACH

BACHILLERATO
PENSAMIENTO MATEMÁTICO
TALLER LÓGICA
Debo Saber:
Las tablas de verdad de cada uno de los conectivos.
(sugiero que las tengan presente, incluida la negación).

1) Decida si cada una de las siguientes oraciones es o no una proposición lógica:

a) 5 + 7 = 12
b) Tenga un feliz día.
c) Santiago es la capital de Chile.
d) ¿Habla Usted inglés?
e) x es mayor que y
f) 15 es un número primo

2) Traducir en un lenguaje simbólico (proposiciones atómicas y conectivos) las

siguientes afirmaciones :

a) Juan es estudiante y Pedro es futbolista.

b) Estudio o voy al cine.
c) Si camino, me canso.
d) Me voy a mi pieza, pero no hago la tarea.
e) Voy a navegar en Internet, si estoy desocupado.
f) Si Pérez recibió el telegrama, entonces o tomo el avión o prefirió ignorar
nuestro pedido.
g) Si Pablo recibió el mensaje, entonces asistirá a la reunión y no presentará su
renuncia.
h) Si se presentan los síntomas ordinarios de un resfrío y el paciente tiene alta
temperatura, entonces, si tiene pequeñas manchas en la piel, está con
sarampión.

3) Decida si cada una de las siguientes proposiciones es Verdadera o Falsa. Justifique

su respuesta.
a) 2 + 2 = 4 ⇒ 4 + 4 = 10

b) no es verdad que : 2 + 2 = 5 si y solo si 4 + 4 = 10

c) 12 < 3 ⇒ – 3 < – 12

d) Es verdad que : 2 + 2 = 4 ∧ 3+3=6

 e) No es verdad que: 7 + 4 = 21 ∨ 17 + 6 = 21

f) El triángulo equilátero tiene solo dos lados iguales o el triángulo isósceles

tiene tres lados iguales.
g) Si 2 + 6 = 8 entonces no es cierto que 15 + 3 =17 si y solo si 11 + 2 = 12

4.1) Represente con p a la proposición “ella tiene ojos azules” y con q a “él tiene 45 años
de edad”. Traduzca cada proposición a lenguaje coloquial usual.

a) ~ p b) ~ q c) p ∧ q d) p ∨ q
e) ~ p ∨ q f) p ∧ ~ q g) ~ p ∨ q h) ~ p ∧ q
i) ~ ( p ⇒ ~ q) j) p ⇐ ~ q k) p ⇔ q l) ~ ( ~ p ⇔ ~ q )

4.2) Se definen las siguientes proposiciones:

p : 1 + 3 + 5 + 7 = 42 q : 2 3 > 32
Determine valor de verdad de cada una de las siguientes proposiciones:
a) p ⇒ q b) ~ p ⇒ ~ q c) ~ p ∨ q d) ( p ∧ q ) ⇔ q

e) p ⇔ ~ q f) q ⇒ p g) ~ q ⇒ ( q ⇒ p ) h) p ∧ ~ q

5) Sean p, q y r proposiciones, tales que: p es V , q es V , r es F.

Determine el valor de verdad de las siguientes proposiciones:

a) (p ⇒ q ) ∧ (p ∨ q ) b) (~ p ∨ q ) ⇒ (p ∧ r )

c) (r ∧ ~ q ) ⇔ (q ⇒ p ) d) (p ⇒ r ) ⇔ (q ∧ r )

6) Sean p, q y r proposiciones, tales que: p es V , es F , r es V.

Determine el valor de verdad de las siguientes proposiciones:

a) [(p ∧ q ) ⇒ (q ∨ r )] ⇔ (p ⇒ r ) b) (~ p ∨ r ) ⇔ (q ∨ r )

c) (p ⇒ q ) ∨ (r ∧ p ) d) (p ∧ r ) ⇒ (~ q ∨ r )

7) Construir una tabla de verdad para las siguientes proposiciones compuestas:

a) (p ∧ q ) ⇒ (p ∨ q ) b) (p ⇒ q ) ∧ (~ p ⇔ q ) c) (p ⇒ q ) ⇔ (~ p ⇒ ~ q )

d) ( p ∧ r ) ⇔ (q ∨ r ) e) [(p ∧ q ) ∨ p ] ⇔ p f) (p ⇒ q ) ⇔ (~ q ⇒ ~ p )

Profs. Sonia Robert, Ximena González

8) Sean p y q proposiciones, tales que p ⇒ q es una proposición Falsa.

Determine el valor de verdad de la proposición: (p ∨ q ) ⇔ (q ∧ p )

9) Clasifique las siguientes proposiciones en: Tautología, Contradicción o

Contingencia. Además obtenga la negación de estas proposiciones

a) (p ∨ q ) ⇔ (p ∧ q ) b) (p ⇒ q ) ∨ (~ q ∧ p )

c) p ∨ (p ∧ q ) d) (p ∧ q ) ∧ (~ p ∨ ~ q )

e) [ p ⇒ (q ⇒ r )] ⇔ [ (p ∧ ~ r ) ⇒ ~ q ]

10) Sea p y q proposiciones, tales que p ∧ q es una proposición Verdadera.

Determine el valor de verdad de la proposición: (p ⇒ q ) ⇔ (p ∨ q )

11) En los problemas siguientes x , y son números reales. ( x,y ∈ IR )

En cada una de las expresiones siguientes encuentre los valores de x que hacen la
verdadera la proposición:

(a) ( x <1 )⇒ ( x < 3 ) (b) ( x ≤1 )⇔ ( x < 3 )

(c) (x 2
)
<0 ⇒x =3 (d) (∃ y ∈ IN)( x 2 + y 2 = 1 )

12) Demostrar sin usar tablas de verdad que :

a) p ∧ q ⇒ p ∨ q b) [~ p ⇒ (p ⇒ ~ q )]
c) p ⇒ p ∨ q d) [ p ∧ ( p ⇒ q) ] ⇒ q

e) [[ ( p ∧ q ) ∨ r] ∧ ~q] ∨ q ⇔ r ∨ q

13) Utilizando definiciones y propiedades de lógica matemática, demuestre que las

siguientes proposiciones son equivalencias:
a) [( p ∧ q ) ⇒ r ] ≡ [p ⇒ ( q ⇒ r ) ]
b) [ ~ p ⇔ ~ q ] ≡ [p ⇔ q]
c) [( p ⇒ r ) ∨ ( q ⇒ r ) ] ≡ [ ( p ∧ q ) ⇒ r ]
d) [ q ⇒ ( r ∨ p )] ∧ [ p ⇒ (~ r ∧ q ) ] ≡ [ ~ p ⇔ (q ⇒ r)]

14) ¿ Es [ p ⇒ ( q ∧ (~ q ) ) ] ⇒ ~ p una tautología ? ¡¡Justifique!!

Profs. Sonia Robert, Ximena González

15) Dada las proposiciones:
p: el triangulo es un polígono de tres lados
q: el triangulo de tres lados iguales es equilátero

a) Escribe en palabras las proposiciones:

i) ~ p ii) p ∨ (~ q) iii) p ⇒ ~ q iv) ~ ( ~ p) ⇔ ~ q

b) Escribe usando los conectivos lógicos y las proposiciones p ,q :

i) No es cierto que el triángulo es un polígono de tres lados.

ii) Si el triangulo es un polígono de tres lados entonces es falso que el triangulo  

de tres lados es equilátero

16) ¿ Son F1 : ( p ∧ q ) ⇒ r y F2 : ( p ⇒ r ) ∧ ( q ⇒ r ) equivalentes ? ¡¡Justifique!!

17) Averigua el valor de verdad sobre el conjunto U = IR

a) ∀x (x < 1 ⇒ x < 3) (
b) ∀x x 2 < 0 ⇔ x 4 = x 3 )
c) ∀x∃y(x 2 + y 2 = 1) c) ∀x∀y∃z(y < x ⇒ 2y < 10 )

18) Problemas de Prueba:

18.1) Pruebe sin usar tabla de verdad que: (p ∧ q ⇒ p ∨ q) es una Tautología (2005)
18.2) Determine Valor de Verdad de la proposición: ( ∀ n ∈ IN)( n 2 par ⇒ n par )
Justifique su respuesta (2006)
18.3) Determine la Negación de la proposición: ( ∀ n ∈ IN)( n 2 par ⇒ n par )
escríbala en lenguaje corriente. (2006)
18.4) Determine el valor de verdad de la Proposición: ( ∃ x ∈ [0, 1])( x 2 < x ),
Justifique su respuesta (2006)
18.5) Usando Tablas de verdad, verifique que: [( p ⇒ q) ∧ p ] ⇒ q , es una tautología
18.6) Usando Algebra de proposiciones pruebe que:
[( p ⇒ q) ∧ p ] ⇒ q , es una tautología (2009)
18.7) Determine valor de verdad de las siguientes proposiciones
¡¡Justifique su respuesta !! (2009)
18.71) ( ~ p ⇒ q ) ⇔ ( p ∨ q )
18.72) Sí x = 8 , entonces podemos decir que x ≤ 8
1
18.73) ∀a ∈ IR + , ≤ a
a
Profs. Sonia Robert, Ximena González