Guía 1 Lógica

Instituto Superior del Profesorado
“Dr. Joaquín V. González”

Álgebra I 1ro. “D”
Guía de trabajo N°1: Lógica proposicional
1. Sabiendo que: Las estrellas emiten luz” = p ; “Los planetas reflejan la luz” = q ; “Los planetas giran
alrededor de las estrellas” = r. Escribir en lenguaje simbólico cada una de las siguientes
proposiciones compuestas.
a) Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellas.
b) Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas.
c) Los planetas reflejan luz si y sólo si las estrellas la emiten y los planetas giran alrededor de ellas.
d) Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran alrededor
de ellas.
2. Teniendo en cuenta que: “8 es un número entero” = p ; “8 es divisible por 2” = q; “Cinco no divide a

ocho” = r ; “8 es potencia de dos” = s
Escribir en lenguaje coloquial cada una de las siguientes proposiciones e indicar su valor de
veracidad.
2.1 (pq)  (r  s) 2.2 (p  q )  (r  s)
2.3 (pq)   (r  s) 2.4  (pq)  (r  s)
3. Indicar si las siguientes afirmaciones resultan verdaderas o falsas. Justificar.
a) No es cierto que (3+2): 5 = 3:5 + 2:5

b) Si 2.5=12 entonces 3+3=6
c) No es cierto que 1+9 =7 sí y sólo sí 4 >9
d) 3-7 > 12 -14 o 3-7 < 3-4
e) 3+9 = 14 ó 4.7 =28
f) Si 4-9 < 0 entonces 3.4 -12 > 0
4. Construir en cada caso la tabla de verdad, indicar si se trata de una tautología, contingencia o
contradicción e identificar los enunciados equivalentes.
a) (p  ( p  q))  q
b) [(p  q)  p]  q
1
c) (p  q)   (p q)
d) (p  q)  ( p  q)
e) ((p  q)  (q  r))  ( p  r )
f) (p  ( q  r))  ((p q)  ( p  r))
5. Considerar las proposiciones p, q, r y contestar cada una de las siguientes cuestiones:
a) Sabiendo que q   p es tautología , demostrar que ( p  q)   (q  p ) es una tautología

b) Mostrar que las siguientes proposiciones son equivalentes: [ (p q)  r ] y [(p  r)  (q  r)]
c) Ídem b) pero para [ (p q)  r ] y [ r   (p q)]
d) Si ( p  q) es falso dar el valor de verdad de p
e) Comprobar si p (qr) y (p  q) r son equivalentes.
6. 6.1 Sea t: (pq  r) p . Se sabe que V(t)≡V, establezca, si es posible, V(r). Justifique.
6.2 Si t: (p  q  r)  p . Sabiendo que V(t) ≡ F, ¿se puede establecer V(r) ?. Justifique. ¿Y el
V(q) ?. Justifique.
7. Si la proposición [ ( p  s)  (p  r) ] es verdadera, halle, el valor de veracidad de cada una de

las siguientes proposiciones. Justifique.
7.1 (s  q)  ( r  p)
7.2 (q  s)  (p  r)

7.3 ( pqrs)  (pr)
7.4 (ps) [ (rp) (q  s)
8. Utilizando leyes de la lógica, simplificar las siguientes proposiciones. Justifique

a) ( p  q)  [p ( p  q)]
b) [ p  ( q r)  q
c) ( p  r  q )  (q  r)
d) [ p  (pq) ]  q
e) p  [ (p  q)  (p  r) ]
2
9. Considerar el siguiente enunciado: “Si estudio Álgebra I, entonces aprobaré el final”. Se pide
escribirla en lenguaje simbólico y dar los enunciados recíproco, inverso (contrario) y contrarrecíproco
en forma coloquial y simbólicamente.
10. Para la proposición “ si un polígono es un triángulo entonces la suma de sus ángulos interiores es
180°, se pide:
a) Escribirla simbólicamente
b) Dar su valor de verdad
c) Escribir la recíproca, la contrarrecíproca y la contraria
d) Dar el valor de verdad en cada caso
11. Probar que las siguientes proposiciones son tautologías
a) ((p  q)   p) q
b) (p  (p q))  q ( modus ponens)
c) p  ( p  q) ( ley de adición)
d) ( p  q)  p ( ley de simplificación)
e) ((p q)  (qr))  (pr) (silogismo hipotético o implicación lógica)
f) ((p q)   q)   p ( modus tollens)
12. Dar la validez de los siguientes razonamientos
a) [p  ( q  (t  r) ) ( t  q )]  ( q  r)
b) [(p  q)  (r   q)  r ]   p
c) [(p  q)  ( q  r )  (s  (p  r)) ]  s
d) [ (p  q)  ( p  r)  r ]  q
e) [ (p  q)  ( q  r) ]  (p  r )
f) [[( p   q)  (r s)]  ( r  t )   t ]  p
g) [(p r)  ( pq)  (q s)]  (r s)
h) [( p  q)  (p  r )  (r  q)]  p
3
13. Escribir en lenguaje simbólico cada uno de los siguientes razonamientos, indique el diccionario
utilizado y luego analice la validez de los mismos.
13.1 Si llueve, Pablo va al cine. Siempre que pablo va al cine, compra pochoclo o helado. Pablo
compra pochoclo. Por lo tanto, llueve.
13.2 “Si se formatea el sistema operativo se perderá la información almacenada. Si se pierde la
información almacenada, se tendrán que cargar los datos nuevamente. Se cargaron los datos
nuevamente. Por lo tanto se formateó el sistema operativo”.
13.3 “Si el programa de Darío funciona, entonces podrá terminar su trabajo de ciencias de la
computación en menos de dos horas. Darío tarda más de dos horas en terminar su trabajo de
ciencias de la computación. Por lo tanto el programa de Darío no es correcto”.
13.4 “Si Blanca obtiene el puesto de supervisora y trabaja mucho, entonces obtendrá un aumento.
Si obtiene el aumento, entonces comprará un auto nuevo. Ella no ha adquirido un nuevo auto. Por
lo tanto, Blanca no ha obtenido el puesto de supervisor o no ha trabajado mucho”.
14. Sea p(x): x+2 > 5 , y q(x): x2 > 2x definidas en el conjunto de los números enteros, identifique el
valor de veracidad de:
p(0) , p(-1) , q(-1) , q(2) , p(3)  q(0) , q(3)  p(6) y q(-2) (p(4)  p(1))
15. Determine el valor de veracidad de cada una de las siguientes proposiciones, siendo el conjunto
referencial el de los números reales. Justifique cada respuesta.
11.1 ∀ x ( x = x ) 11.4 x (x + 1 > x)
11.2 x (x2 =x) 11.5 x(x 2 - x -12 = 0)
11.3 x (x  2 < x) 11.6 x(x 2 - 2x + 2 > 0)
16. Sea A = { x   / 1  x  10 } . Considere cada uno de los siguientes enunciados, definidos en A, e

identifique cuál o cuáles es una proposición y cuál o cuáles es una función proposicional. Justifique
cada respuesta.
En caso de ser una proposición evalúe el grado de veracidad, caso contrario indique el conjunto de
valores que la hacen verdadera.
12.1 x y(x + y < 14 ) 12.3 x y(x + y < 14 )
12.2 y(x + y < 14 ) 12.4 y(x + y < 14 )
4
Bibliografía de consulta
 Grimaldi Ralph P., Matemáticas Discreta y combinatoria una introducción con aplicaciones, Pearson
Prentice Hall
 Rabuffetti Hebe T., Temas de álgebra Lógica, El Ateneo
 Rojo Armando, Álgebra I, El Ateneo.
 Suppes, Patrick y Hill Shirley, Introducción a la Lógica Matemática, Reverté S.A.
5
Ejercicios de repaso.
En cada caso marcar la única opción correcta.
1. La proposición p V q representa una:

Tautología Contingencia Contradicción
2. La proposición (p v q) v (p  q) es equivalente a:

p p q q
3. Sabiendo que el valor de la proposición (pq  r )  p es verdadero , entonces:

r es no se puede establecer el valor de r
r es falsa
verdadera
4. Sabiendo que el valor de p  (q  r) es falso y el valor de r v q es verdadero. No se puede

asegurar que:
p es falsa q es verdadera r es falsa (p  r) es falsa
5. De las proposiciones p(x):  x( x-2 > 4) y q(x):  x (x2 + 2 > 3) , definidas en el conjunto de los
números enteros se puede decir que:
p es verdadera y q p es falsa y q es Ambas son ambas son
falsa verdadera falsas verdaderas
6. El siguiente razonamiento “Excel es una planilla de cálculo, si Excel es una planilla de cálculo
entonces podré calcular un promedio. Por lo tanto uso Excel y puedo calcular un promedio”
representa un:
Silogismo Modus Tollens Modus Ponens
Ninguno de los anteriores
hipotético
7. “Si no llueve y no hay viento entonces vuelo en el avión. Siempre que llueve me siento mal. Ayer
no volé en el avión y me sentí bien. Por lo tanto, ayer estuvo ventoso.
Es un razonamiento:
válido inválido

Guía 1 Lógica

Cargado por

Copyright:

Formatos disponibles

Guía 1 Lógica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Guía 1 Lógica

Cargado por

Copyright:

Formatos disponibles

Instituto Superior del Profesorado

“Dr. Joaquín V. González”

Guía de trabajo N°1: Lógica proposicional

2. Teniendo en cuenta que: “8 es un número entero” = p ; “8 es divisible por 2” = q; “Cinco no divide a

3. Indicar si las siguientes afirmaciones resultan verdaderas o falsas. Justificar.

a) No es cierto que (3+2): 5 = 3:5 + 2:5

5. Considerar las proposiciones p, q, r y contestar cada una de las siguientes cuestiones:

a) Sabiendo que q   p es tautología , demostrar que ( p  q)   (q  p ) es una tautología

7. Si la proposición [ ( p  s)  (p  r) ] es verdadera, halle, el valor de veracidad de cada una de

7.2 (q  s)  (p  r)

8. Utilizando leyes de la lógica, simplificar las siguientes proposiciones. Justifique

11. Probar que las siguientes proposiciones son tautologías

12. Dar la validez de los siguientes razonamientos

11.2 x (x2 =x) 11.5 x(x 2 - x -12 = 0)

11.3 x (x  2 < x) 11.6 x(x 2 - 2x + 2 > 0)

16. Sea A = { x   / 1  x  10 } . Considere cada uno de los siguientes enunciados, definidos en A, e

12.1 x y(x + y < 14 ) 12.3 x y(x + y < 14 )

12.2 y(x + y < 14 ) 12.4 y(x + y < 14 )

1. La proposición p V q representa una:

2. La proposición (p v q) v (p  q) es equivalente a:

3. Sabiendo que el valor de la proposición (pq  r )  p es verdadero , entonces:

4. Sabiendo que el valor de p  (q  r) es falso y el valor de r v q es verdadero. No se puede

También podría gustarte