VARIABLES Y FORMAS PROPOSICIONALES 2.- Después de desarrollar las siguientes formas 4.

ollar las siguientes formas 4.- Dadas las siguientes hipótesis: H1: La Lógica es difícil o
1. Completa la tabla de verdad usando las variables proposicionales, la que no es tautológica es: no les gusta a muchos estudiantes, H2: Si la Matemática es
proposicionales dadas. a) (q  p)  (p  q) fácil, entonces la Lógica no es difícil.
a) p q ~r b) p, ~q, r b) (p  q)  (p  q) Una conclusión que hace válido este razonamiento es:
c) ~p, q, ~r d) ~p, ~q, r c) (p  q)  (q  p) a) La Lógica es difícil b) La Matemática es fácil
2. Construir la tabla de verdad de las siguientes formas d) [(p  q)  p]  q c) Si a muchos estudiantes les gusta la Lógica, la
proposicionales y determine si es tautología, contingencia o e) [(p  q)  r]  [(p  r)  (q  r)] Matemática no es fácil.
contradicción. 3.- Dadas las siguientes formas proposicionales: d) La Matemática no es fácil o la Lógica es difícil
a.- ( p  q)  p I) [(a  b)  (b  a)]  b 5.- Dados los siguientes razonamientos R1 y R2:
II) (b  a)  (b  a) R1: [(p  q)  (q  p)]  (p  q)
b.- ( p  q)  (p  q)
Es verdad que: R2: q  (p  q), Es verdad que:
c.- ( p  q)  ( p  r ) a) La forma proposicional I es una tautología y la II no es a) R1 no es válido. b) R1 no es válido y R2 es válido.
d.- ( p  q)  r   ( p  q) una tautología.
b) La forma proposicional II no es una tautología.
c) R1 no es válido y R2 no es válido.
d) R1 es válido y R2 no es válido.
e.- [( p  q)  (q  r )]  (p  r ) c) Las formas proposicionales I y II no son tautologías. e) R1 es válido y R2 es válido.
f.- [( p  q)  (r  p)]  p d) Las formas proposicionales I y II son tautologías.
e) La forma proposicional I no es una tautología y la II es Tarea para la casa
g.- [( p  q)  (r  p)]  p una tautología. 1.- Determine la validez de los siguientes razonamientos,
h.-  p  r   s  q 4.- Considere la forma proposicional [( p q) q ]  p:
a) Construya su tabla de verdad
tanto por el método de la tabla como por el método de
reducción al absurdo
Tarea para la casa b) En base al resultado anterior, explique si es tautología, a) Si María usa maquillaje, entonces se ve mayor. María no
1.- Construir la tabla de verdad de las siguientes formas contradicción o contingencia. se ve mayor, por lo tanto no usa maquillaje.
proposicionales y determine si es Tautología, Contingencia o b) Si Juan le trae flores a Laura ella lo invita a cenar. Juan
Contradicción. RAZONAMIENTOS le trae flores, entonces, Laura lo invita a cenar.

a)
( p  q)  r b)
[( p  q)  ( p  r )]  r a) Mediante el método de la tabla de verdad. Determine si c) Si la empresa genera utilidades entonces debe pagar
los siguientes razonamientos son válidos o no: impuesto a la renta. Si paga impuesto a la renta, la empresa
c)
( p  q)  r d)
[( p  q)  ( p  r )]  q 1.- Si soy estudioso, apruebo el curso; si soy bailarín no tiene liquidez. O la empresa genera utilidades o tiene
liquidez. La empresa pagó el impuesto a la renta. Por
e)
( p  q )  ( p  q ) f)
( p  q)  r apruebo el curso. Por lo tanto, no puedo ser estudioso y
consiguiente, tiene liquidez.
bailarín al mismo tiempo.
g)
( p  q)  ( p  r ) h)
( p  q)  ( p  q) 2.-Carlos o Roberto están heridos. Roberto no está herido. d) No es cierto que si aumenta la demanda, las empresas
Por lo tanto, Carlos está herido. pierden. Las empresas ganan sí sólo sí producen más. O las
i)
p  ( p  q) j)
[ p  ( p  q)]  q b) Mediante el método de reducción al absurdo. Determine empresas pierden más o producen más. La demanda
disminuyó. Por lo tanto, Las empresas pierden o aumenta la
k)
[( p  q)  (p  r )]  r si los siguientes razonamientos son válidos o no.
1.-Si te gustan las Matemáticas, entonces eres hábil para la demanda.
e) Las personas naturales están obligadas a llevar
l)
[p  (q  p)]  p m)
( p  q)  p Geometría luego, no te gustan las Matemáticas.
contabilidad sí sólo sí obtienen un ingreso mayor a $40.000
2.-Si como en exceso, entonces engordo. No como en exceso,
n)
[( p  q)  ( p  r )]  q por lo tanto, no engordo. ó su capital es mayor a $24.000. O las empresas obtienen un
3.-Dadas las siguientes hipótesis: ingreso mayor a $40.000 o no están obligadas a llevar
ñ)
[ p  ( p  q)]  p o)
( p  q)  ( p  q) H1: Si lo intento con ahínco y tengo talento, entonces me contabilidad. Las personas naturales están obligadas a
llevar contabilidad si su capital es mayor a $24.000. La
[( p  q)  ( p  r )]   p  r  convierto en músico.
empresa obtuvo un ingreso mayor a $40.000. Por lo tanto,
p) H2: Si me convierto en músico, soy feliz.
está obligada a llevar contabilidad o su capital no es mayor
q)
[p  ( p  q)]  q Una conclusión que hace válido este razonamiento es:
a $24.000
a) Soy feliz.
r)
[( p  q)  (p  r )]  r b) Si me convierto en músico entonces lo intento con ahínco. f) Si es una buena empresa entonces trata bien a sus
c) No tengo talento empleados o paga una excelente remuneración. Capacita a
s)
[( p  q)  ( p  r )]  q sus empleados sí sólo sí es una buena empresa. Trata bien a
d) Si no soy feliz entonces no lo intento con ahínco o no
tengo talento. sus empleados o no es una buena empresa. Paga una buena

Jorgeduardo Espinoza
remuneración. Por consiguiente, es una buena empresa y
capacita a sus empleados.
g) Si le empresa tiene un buen departamento de marketing
entonces tiene buena publicidad y vende más. O la empresa
tiene un buen departamento de marketing o no vende más.
La empresa tiene buena publicidad y vende más. Por lo
tanto, la empresa no tiene un buen departamento de
marketing y no vende más
2.- Dadas las siguientes premisas: H1: Si veo mucha Tv.,
entonces no tengo tiempo para estudiar; H2: veo mucha Tv.
Siendo p: veo mucha Tv. y q: tengo tiempo para estudiar.
La conclusión que hace válido el razonamiento es:
a) p b) q c) p  q d) p  q e) p  q
3.- Si se tiene un razonamiento con las siguientes premisas:
H1: Si el freno falla o el camino está helado, entonces el
coche no para, H2: Si el coche se revisó, entonces no falla el
freno, H3: Pero el coche no se revisó.
Una conclusión que lo hace valido es:
a) El coche no para
b) El freno falla y el camino no está helado.
c) El coche no para y el camino no está helado
d) Ninguna de las conclusiones hace válido el razonamiento.
4.- Dadas las siguientes premisas
H1: Si estudio mucha lógica, entonces no repruebo el curso.
H2: Estudio mucha lógica
Entonces una conclusión para un razonamiento válido es:
a) No estudio mucha lógica.
b) No repruebo el curso
c) Estudio mucha lógica o no repruebo el curso.
d) Ninguna de las conclusiones hace válido el razonamiento.
5.- Dadas las siguientes premisas
H1: Si estudio, apruebo el curso del nivel cero.
H2: Apruebo el curso del nivel cero y viajo a Galápagos
Entonces una conclusión para un razonamiento válido es:
a) No apruebo el curso de nivel cero.
b) No estudio y no apruebo el curso del nivel cero.
c) Apruebo el curso del nivel cero
d) Ninguna de las conclusiones hace válido el razonamiento.
6.-Dadas las siguientes premisas: H1: La dolarización es
difícil o no les gusta a muchas personas, H2: Si las medidas
económicas son viables entonces la dolarización no es difícil
Entonces una conclusión para que el razonamiento sea
válido es:
a) La dolarización es difícil
b) Las medidas económicas son viables
c) Si a muchas personas les gusta la dolarización, las
medidas económicas no son viables.
d) Ninguna de las conclusiones hace válido el razonamiento. ( p  q)  p  q 
7.- Dado el razonamiento H1  H2  C, donde: H1: Si se g)
concluye con éxito la construcción del nuevo parque en el 2.- Utilizando las tablas de verdad, indique si las siguientes
Barrio del Centenario, se coopera para elembellecimiento proposiciones son equivalentes o no:
de la urbe, H2: Se coopera para el embellecimiento de la a) p  q ; p v q b) q  p ; p  q
urbe y se incrementa la captación de más turistas. Entonces c) p  q ; q  p d) (p  q) ; p  q
la conclusión C que hace válido este razonamiento es: e) p  q ; p  q f) p  q ; q  p
a) No se coopera para el embellecimiento de la urbe. g) p  q ; q  p h) p  (q  r) ; p  (q  r)
b) Se coopera para el embellecimiento de la urbe. i) p  (q  r) ; (p  r)  (q  r)
c) Se concluye con éxito la construcción del nuevo parque en j) p   (q  r) ; (q  r)  p
el Barrio del Centenario. k) p  (q  r) ; (p  r)  (q  r)
d) Ninguna de las conclusiones hace válido el razonamiento l) p  (q  r) ; p  (q  r)
8.- Traduzca al lenguaje simbólico el enunciado: “Juan 3.- Identifique el valor de verdad de las siguientes
consigue dinero y se compra el libro, sólo si cambia su equivalencias:
cheque. Pero si no cambia el cheque, no puede pagar sus a) (p  q)  (p  q) b) (p  q)  (p  q )
deudas. Por lo tanto, Juan compra el libro y paga sus c)  (p  q)  r   p  (q  r )
deudas”.
d) (p  q)  r   r  (p  q) 
a) Explique si su estructura corresponde a la de un
razonamiento. e) (p  q)  r   (p  q  r)
4.- La siguiente proposición “La empresa no hace publicidad
b) En caso de serlo, determine su validez.
9.- Determine la validez del siguiente razonamiento: y no cambia su producción cada vez que la demanda
aumenta” Es EQUIVALENTE a:
“Si José presiona el botón 1, sale la imagen impresa; pero si
José presiona el botón 2 la imagen sale en pantalla. La a) Si la empresa no hace publicidad y no cambia su
producción, entonces la demanda aumenta
imagen salió impresa pero José presionó el botón 2. Luego,
José presionó el botón 1”. b) Si la empresa hace publicidad o cambia su producción,
entonces la demanda no aumenta
c) Si la demanda no aumenta, entonces la empresa hace
EQUIVALENCIAS LÓGICAS
Demuestre las siguientes equivalencias lógicas: publicidad y cambia su producción
 p  q  p  q d) La empresa hace publicidad y cambia su producción, o la
demanda aumenta
 [( p  q)  r ]  [ p  (q  r )] La empresa hace publicidad o, si cambia su producción
 [( p  q)  ( p  r )]  [ p  (q  r )] entonces la demanda no aumenta.
5.- La siguiente proposición “Júnior esta débil cada vez que
 [( p  q)  r ]  [( p  r )  (q  r )] no come pescado” Es EQUIVALENTE a:
Júnior es fuerte o come pescado
Tarea para la casa
Júnior es débil o come pescado
1.- Demuestre las siguientes equivalencias lógicas:
Júnior es débil cuando come pescado
a)
[ p  (q  r )]  [( p  q)  ( p  r )] Júnior es fuerte o no come pescado
( p  q)  p  q 
Júnior es débil y come pescado
b)
c)
 p  q   q  p 
d)
[( p  q)  r )]  [ p  (q  r )]
e)
 p  q   p  q 
f)
 p  q   ( p  q)
Jorgeduardo Espinoza