PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA – IES N° 8 “ÁNGELA CAPOVILLA DE RETO”

ÁLGEBRA I
Guía de Trabajos Práctico N° 1
Lógica Proposicional
1. Indique cuáles de las siguientes expresiones son proposiciones y cuáles no, fundamente las
respuestas
a. No hay habitantes en Marte
b. ¿Aprobaré los parciales de Álgebra?
c. 3 + 5 = x
d. El fin de semana estudiaré Modelización
e. Uno de los objetos de la Lógica es el estudio de los razonamientos deductivos
f. ¡Te extraño tanto!
g. Un quinto elevado al cuadrado es igual a un veinticincoavos

2. Escriba la forma lógica de las siguientes expresiones

a. Fue al profesorado pero no ingresó a la clase de Álgebra I
b. Si apruebas todos los parciales entonces regularizas la materia
c. Subió las escaleras sin embargo no ingresó al recinto
d. No diste lugar a excusas, o imaginaste otra estrategia
e. Si las tasas de interés no bajan, no se reactivará la economía sin aunque
disminuirán los préstamos
f. Iré al encuentro y volveré temprano, sólo si se ponen de acuerdo o no generan
discusiones
g. No es cierto que vaya apurado y no esté distraído, sin embargo, si decido bien
o mal, no es problema tuyo
h. Si y solo si viajo a Honduras, no volveré a encontrarte

3. Coloque paréntesis, si fuera necesario para que la fórmula lógica corresponda a la

proposición que se indica en cada caso
a. Condicional pqrs
b. Conjunción pqrs
c. Negación pqr
d. Disyunción pqr
e. Bicondicional prqr
f. Negación pqr
g. Disyunción pqr
h. Conjunción pqrs

4. Traduzca al lenguaje corriente cada una de las siguientes fórmulas lógicas, considerando que
p, sustituye a la proposición, estudio Geometría, q: entiendo las explicaciones; r: consulto
los apuntes; s: voy al boliche
a. (p  r)   q f.  p  q  r
b. p  r   q g. p  p
c. (p  r   q) h.  q  q
d. q  ( p  r ) i. p  q   p  q
e. (p   r )  (q  s) j. q   p  r
PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA – IES N° 8 “ÁNGELA CAPOVILLA DE RETO”

5. Sabiendo que p, q y r son proposiciones F y s, t y u proposiciones V, encuentre el valor de

verdad de las siguientes fórmulas proposicionales
a. p  s   r f. [ r  (  t  p ) ]  ( u   s)
b.  t  ( u  q   s) g. r  t   u  s   p
c. (  u  r)   p  t h. (  q  s)   p  t
d. ( r  t )  q  u   s i. p   u   s   r
e. (p  t)  q   u j. (  r  s )  [ u  (  p  q)]

6. Pruebe las siguientes equivalencias lógicas

a.  (q  p )   p   q
b. q  p  p   q
c. p   q  q   p
d. p  r  q  ( p  r )  q
e.  (q  p)  p  q
f.  ( q  p )  (p   q)  (q   p)
g. r  ( p  q )  (q  r )  ( p  r)
h. (p  q)  (p  r)  r   p

7. Dados los siguientes condicionales, formule las implicaciones asociadas a los mismos y
retradúzcalas al lenguaje ordinario
a. Si no cumple lo prometido, faltará a la cita pero volverá mañana temprano
b. No buscaremos otra salida o iremos luego, solo si no participa
c. No irás al estudio aunque hay entradas, si decides competir
d. Solo si el espacio es amplio, las ventanas no molestarán y el clima será
apropiado
e. Si el resultado de la tabla no es todo verdadero, la fórmula es contingencia o
contradicción
f. La tranquilidad de los mercados llegará, solo si se estabilizan los precios o no
aumentan los impuestos
g. Los años darán el veredicto final, si Lionel es el mejor de todos los tiempos o no
quieren admitirlo
h. Solo si no informan lo sucedido, podrán ingresar al recinto y no tendrán derecho
a permanecer tiempo
i. La investigación avanza, sin embargo no encuentran al culpable, si los
involucrados no se preocupan o demuestran indiferencia
j. Solamente si no llueve demasiado o escucho música, soy feliz pero no puedo
viajar tan lejos

8. Escriba las siguientes proposiciones en forma simbólica, niéguelas y retradúzcalas al

lenguaje común.
a. Para recorrer los caminos del Litoral es suficiente que el vehículo esté arreglado
aunque no sea confortable
b. Es necesario no bajar los brazos o ser muy optimista para lograr que la situación
no empeore
c. Un número es par o no es primo, si es divisible por tres y por cinco
d. No es cierto que llamaba y no lo atendían, solo si viajó desde Neuquén o Río
Negro
PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA – IES N° 8 “ÁNGELA CAPOVILLA DE RETO”

e. Es suficiente, que un cuadrilátero tenga cuatro lados iguales o cuatros ángulos

rectos para que sea un cuadrado pero no un rectángulo
f. Para no confundir a la gente o anticipar lo que sucederá es necesaria la no
intervención de la minoría y la prudencia
g. Si no llegaron al objetivo y quisieron demostrar indiferencia, no es verdad que
cumplieron lo acordado o lo prometido
h. Solamente si vas a la jornada y no faltas a la clase, tendrás el compensatorio o
no irás el sábado
i. Para que Roger sea indiscutible es necesario que Rafa no logre alcanzar sus
objetivos o admite el desgaste
j. Para que la convivencia mejore es suficiente resaltar los valores y que no haya
falta de respeto

9. Dadas las siguientes proposiciones, escríbalas en lenguaje simbólico, niéguelas y

retradúzcalas al lenguaje coloquial
a. Todos los perros corren pero no juegan, sin embargo, ninguno de ellos corre o
deja de saltar
b. Hay detalles que no fluyen aunque son importantes, solo si cualquiera de ellos
no describe insignificancias
c. O ninguno vuelve a la estancia, o , al menos uno tratará de cuidar los animales
y no sembrará la tierra
d. Si existen interpretaciones erróneas, todas fueron comparadas pero no
controladas
e. Cualquiera que sea el evento, es bueno si y solo si, no incluyen a los bailarines
aztecas
f. Algunas plantas son grandes y no tienen Flores, aunque, ninguno de los sapos
es pequeño o hace ruido
10. Indique variables ligadas y libre a cada cuantificador
a. x: [ P(x)  Q(y)]  y/  P(x)  Q(y)
b. y/ P(y)  z / [P(y)   Q(z)]
c. y : [ P(x)  P(y)]  x:  P(x)  Q(y)
d. x/ [P(y)   Q(x)  R(x)] x: R(x)
e. x: P(y)  y/ P(y) y : [  P(x)  Q(y)]
f. y/  Q(y)  x: [  Q(y)  P(x)   Q(x)]

11. Dados los siguientes razonamientos, demuestre si son válidos utilizando el método del
condicional asociado.
a. b. r c. p
p  q  s ⇒ q
r  ~q t  r p ⇒ ~r
r t  s p  qr
 p r  r

d. No es cierto, que regresó y prometió quedarse. Regresó. Luego, no prometió que se

quedaría.
e. Navega. Por lo tanto, navega y disfruta, o navega y no disfruta.
PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA – IES N° 8 “ÁNGELA CAPOVILLA DE RETO”

f. Sólo si resuelve la situación, no intentará viajar a Río. La situación no fue resuelta. Por
lo tanto, intentará viajar a Río de Janeiro.

12. Demuestre la validez mediante el método del árbol.

a. . b.
t  s q  p
 ( p   t) p  r
r   q q  r
r p
P  q  p
 s

c. d.
r  s q  p
r  t  (q  r)  t
p t
p  s p
 tq

e. f.
s  t q  p
r  s r  q
 ( t   p) r  s
 r  ( s   t)
 (u   p)

13. Pruebe la validez de los siguientes razonamientos utilizando reglas de inferencia.

a. b. c.
r  q u  s p
s  t  (s  t) r
p  q t  s s  t
(p  r)   s  su q  r
t  q
 t u  sp

t
d. e. f.
q  p r  q r  q
p  r t  s s  p
q  r r  ( r   s)
p  ( p   t) t pq
 p p  q  rq
 st
PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA – IES N° 8 “ÁNGELA CAPOVILLA DE RETO”

14. Mediante la prueba formal de invalidez, determine si los siguientes razonamientos son
inválidos.

a. b. c.
p  q pq  r q
t  q r  ( s  t ) s  r
u p  q t  s
 ( r  s) t pqr
 pt  ps   ( p   q)

d. e. f.
s  p q  p r  s
q  r s  r t  p
pq q  s t r
rs t  ps
 q   s  pr