ESCUELA

SUPERIOR POLITÉCNICA DEL LITORAL

CURSO DE NIVELACIÓN REGULAR MAYO 2018
MATEMÁTICAS – APRENDIZAJE ACTIVO
DEBER 1 – LÓGICA

S O L U C I Ó N

1) Dadas las PROPOSICIONES SIMPLES:

𝒂: Tokio es la capital de China.
𝒃: Mozart fue un gran músico.
𝒄: Fiat es una marca alemana de vehículos.

a) TRADUZCA al LENGUAJE FORMAL la PROPOSICIÓN COMPUESTA:

“Dado que Tokio no es la capital de China; Fiat no es una marca alemana de
vehículos, no obstante Mozart fue un gran músico.”

Identificamos las palabras clave que están presentes y los signos de puntuación
para hacer la traducción:

“Dado que Tokio no es la capital de China; Fiat no es una marca alemana de
vehículos, no obstante Mozart fue un gran músico.”

¬𝑎 → (¬𝑐 ∧ 𝑏)

b) TRADUZCA al LENGUAJE FORMAL la CONTRARRECÍPROCA correspondiente a la
proposición del literal a).

Realizamos la traducción solicitada:

¬ ¬𝑐 ∧ 𝑏 → ¬ ¬𝑎

Aplicamos dos leyes de los operadores lógicos (De Morgan e Involutiva) para
obtener una expresión simplificada que haga más sencilla la traducción al
español:

¬ ¬𝑐 ∧ 𝑏 → ¬ ¬𝑎 ≡ 𝑐 ∨ ¬𝑏 → 𝑎

Si se desea, podemos obtener otras proposiciones equivalentes tales como:

¬𝑏 ∨ 𝑐 → 𝑎 (Por la Ley Conmutativa de la Disyunción)
𝑏 → 𝑐 → 𝑎 (Por la Ley de Implicación)

Elaborado por @gbaqueri Página 1 de 20

 c) Escriba dos posibles traducciones al LENGUAJE ESPAÑOL de la CONTRARRECÍPROCA
correspondiente a la proposición del literal a).

A continuación se presentan dos opciones de traducción:

“Si Fiat es una marca alemana de vehículos o Mozart no fue un gran músico,
entonces Tokio es la capital de China.”

“Dado que Fiat es una marca alemana de vehículos o Mozart no fue un gran
músico, Tokio es la capital de China.”

2) Dada la PROPOSICIÓN COMPUESTA:

“Newton fue un físico notable a la vez que contribuyó notablemente a la
matemática; sin embargo, o la NASA descubrió agua en Marte o existen planetas
en la Vía Láctea que no tienen agua. La nanotecnología tiene aplicaciones
biológicas pues es parte de la revolución industrial. Luego, Newton contribuyó
notablemente a la matemática tal como la NASA descubrió agua en Marte mas
la nanotecnología no es parte de la revolución industrial.”

a) IDENTIFIQUE las PROPOSICIONES SIMPLES.

A continuación se muestran las proposiciones simples:
𝑎: Newton fue un físico notable.
𝑏: Newton contribuyó notablemente a la matemática.
𝑐: La NASA descubrió agua en Marte.
𝑑: Todos los planetas en la Vía Láctea tienen agua.
𝑒: La nanotecnología tiene aplicaciones biológicas.
𝑓: La nanotecnología es parte de la revolución industrial.

b) TRADUZCA al LENGUAJE FORMAL la PROPOSICIÓN COMPUESTA.

Traduciendo al lenguaje formal, se tiene lo siguiente:

𝑎 ∧ 𝑏 ∧ 𝑐 ∨ ¬𝑑 ∧ 𝑓 → 𝑒 → 𝑏 ∧ 𝑐 ∧ ¬𝑓

Elaborado por @gbaqueri Página 2 de 20

3) Identificando las proposiciones simples presentes, transforme al lenguaje
simbólico las proposiciones compuestas dadas en cada literal. Luego, niéguelas en
lenguaje simbólico y expréselas en lenguaje natural:

a) Leonardo Di Caprio ya ganó un premio Oscar, tal como Glen Close nunca lo
ganó.





Las proposiciones simples presentes son:
𝑎: Leonardo Di Caprio ganó un premio Oscar.
𝑏: Glen Close ganó un premio Oscar.

Traducción al lenguaje formal: 𝑎 ∧ ¬𝑏

Negación: ¬ 𝑎 ∧ ¬𝑏 ≡ ¬𝑎 ∨ 𝑏

“Leonardo Di Caprio no ganó un premio Oscar o Glen Close sí lo hizo.”

b) Ed Sheeran tiene cuenta en Facebook si y sólo si tiene cuenta en Instagram.



Las proposiciones simples presentes son:
𝑎: Ed Sheeran tiene cuenta de Facebook.
𝑏: Ed Sheeran tiene cuenta de Instagram.

Traducción al lenguaje formal: 𝑎 ↔ 𝑏

Negación: ¬ 𝑎 ↔ 𝑏 ≡ 𝑎 ∨ 𝑏

“O Ed Sheeran tiene cuenta en Facebook o tiene cuenta en Instagram.”

Elaborado por @gbaqueri Página 3 de 20

4) Dadas las proposiciones simples:
a: Panamá clasificó por primera vez a un mundial de fútbol.
b: EEUU quedó fuera del mundial de Rusia.
c: Alemania clasificó directamente.

Exprese simbólicamente las proposiciones compuestas que se plantean a
continuación, y luego de ello, traduzca al lenguaje común, para cada caso, su
recíproca, su inversa y su contrarrecíproca:

a) “Dado que Panamá clasificó por primera vez a un mundial de fútbol, Alemania
no clasificó directamente tal como EEUU quedó fuera del mundial de Rusia”.

La proposición compuesta en forma simbólica es: 𝑎 → (¬ 𝑐 ∧ 𝑏)

Las variantes de la condicional son:

Recíproca: ¬𝑐 ∧ 𝑏 → 𝑎

“Dado que Alemania no clasificó directamente tal como EEUU
quedó fuera del mundial de Rusia, Panamá clasificó por primera
vez a un mundial de fútbol.”

Inversa: ¬𝑎 → ¬ ¬𝑐 ∧ 𝑏 ≡ ¬ 𝑎 → (𝑐 ∨ ¬𝑏)

“Dado que Panamá no clasificó por primera vez a un mundial de
fútbol, Alemania clasificó directamente o EEUU no quedó fuera del
mundial de Rusia.”

Contrarrecíproca: ¬ ¬𝑐 ∧ 𝑏 → ¬𝑎 ≡ 𝑐 ∨ ¬𝑏 → ¬𝑎

“Dado que Alemania clasificó directamente o EEUU no quedó
fuera del mundial de Rusia, Panamá no clasificó por primera vez a
un mundial de fútbol.”


b) “Panamá no clasificó por primera vez a un mundial de fútbol mas Alemania
clásificó directamente, pues EEUU quedó fuera del mundial de Rusia”.

La proposición compuesta en forma simbólica es: 𝑏 → (¬𝑎 ∧ 𝑐)

Las variantes de la condicional son:

Recíproca: ¬𝑎 ∧ 𝑐 → 𝑏

“EEUU quedó fuera del mundial de Rusia, pues Panamá no clasificó
por primera vez a un mundial de fútbol mas Alemania clasificó
directamente.”

Elaborado por @gbaqueri Página 4 de 20


Inversa: ¬𝑏 → ¬ ¬𝑎 ∧ 𝑐 ≡ ¬𝑏 → (𝑎 ∨ ¬ 𝑐)

“Panamá clasificó por primera vez a un mundial de fútbol o
Alemania no clasificó directamente, pues EEUU no quedó fuera del
mundial de Rusia.”

Contrarrecíproca: ¬ ¬𝑎 ∧ 𝑐 → ¬𝑏 ≡ 𝑎 ∨ ¬𝑐 → ¬𝑏

“EEUU no quedó fuera del mundial de Rusia, pues Panamá clasificó
por primera vez a un mundial de fútbol o Alemania no clasificó
directamente.”

5) Considere la proposición compuesta “Quito no se fundó un 6 de noviembre, ya que
Guayaquil se independizó un 9 de octubre y Cuenca no se independizó un 3 de
diciembre”, la cual es VERDADERA.

a) Traduzca al lenguaje formal la proposición dada.
b) Determine la condición necesaria y la condición suficiente de la proposición
dada.
c) Escriba una posible traducción al lenguaje español de:
i) la recíproca de esta proposición.
ii) la inversa de esta proposición.
iii) la contrarrecíproca de esta proposición.

Se definen las proposiciones simples:
𝑎: 𝑄𝑢𝑖𝑡𝑜 𝑠𝑒 𝑓𝑢𝑛𝑑ó 𝑢𝑛 6 𝑑𝑒 𝑛𝑜𝑣𝑖𝑒𝑚𝑏𝑟𝑒
𝑏: 𝐺𝑢𝑎𝑦𝑎𝑞𝑢𝑖𝑙 𝑠𝑒 𝑖𝑛𝑑𝑒𝑝𝑒𝑛𝑑𝑖𝑧ó 𝑢𝑛 9 𝑑𝑒 𝑜𝑐𝑡𝑢𝑏𝑟𝑒
𝑐: 𝐶𝑢𝑒𝑛𝑐𝑎 𝑠𝑒 𝑖𝑛𝑑𝑒𝑝𝑒𝑛𝑑𝑖𝑧ó 𝑢𝑛 3 𝑑𝑒 𝑑𝑖𝑐𝑖𝑒𝑚𝑏𝑟𝑒

a) La traducción al lenguaje formal es: 𝑏 ∧ ¬𝑐 → ¬𝑎

b) La condición necesaria es el consecuente: ¬𝑎

“Es necesario que Quito no se haya fundado un 6 de noviembre.”

La condición suficiente es el antecedente: 𝑏 ∧ ¬𝑐

“Es suficiente que Guayaquil se haya independizado un 9 de octubre y Cuenca
no se haya independizado un 3 de diciembre.”

c) La RECÍPROCA de esta proposición es: ¬𝑎 → 𝑏 ∧ ¬𝑐

“Guayaquil se independizó un 9 de octubre y Cuenca no se independizó un 3 de
diciembre, ya que Quito no se fundó un 6 de noviembre.”

Elaborado por @gbaqueri Página 5 de 20

 La INVERSA de esta proposición es: ¬ 𝑏 ∧ ¬𝑐 → 𝑎 ≡ ¬𝑏 ∨ 𝑐 → 𝑎

“Quito se fundó un 6 de noviembre, ya que Guayaquil no se independizó un 9 de
octubre o Cuenca se independizó un 3 de diciembre.”

La CONTRARRECÍPROCA de esta proposición es: 𝑎 → ¬ 𝑏 ∧ ¬𝑐 ≡ 𝑎 →
¬𝑏 ∨ 𝑐

“Guayaquil no se independizó un 9 de octubre o Cuenca se independizó un 3 de
diciembre, ya que Quito se fundó un 6 de noviembre.”

6) Con la ayuda de las tres bombas 𝒑, 𝒒 y 𝒓 se desea transportar agua potable desde
la estación 𝑨 hasta la ciudad 𝑩, debido a que la ciudad 𝑩 se encuentra a una altura
mayor que la estación 𝑨 desde donde se envía agua potabilizada, tal como se
muestra en la figura adjunta:
𝐵

𝑞


𝑝
𝐴


𝑟

Si el encendido 𝟏 o apagado 𝟎 de una bomba se lo toma como una variable
proposicional y las tres bombas funcionan de manera independiente, determine:

a) La FORMA PROPOSICIONAL que modeliza el transporte de agua desde 𝑨 hacia 𝑩.
b) La CANTIDAD DE COMBINACIONES entre encendido y apagado de las tres bombas
para que NO llegue agua de 𝑨 hacia 𝑩.

Si se desea que sea MÁS EFICIENTE el transporte de agua, se indica que es posible
lograrlo cuando la bomba modelada por 𝒑 se coloca contigua a la bomba 𝒒.
Verifique si este cambio permite conseguir este objetivo. Justifique su respuesta.

Para asegurar el transporte de agua desde 𝐴 hacia 𝐵, se debe garantizar que pase
agua por las bombas 𝑝 y 𝑞 , u otra opción que pase por las bombas 𝑝 y 𝑟; luego, la
forma proposicional solicitada es:

𝑝 ∧ 𝑞 ∨ 𝑝 ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∨ 𝑟)

Elaborado por @gbaqueri Página 6 de 20

 Existirán ocho combinaciones posibles entre encendido y apagado de las tres
bombas 𝑝, 𝑞 y 𝑟. Al elaborar la correspondiente tabla de verdad para la forma
proposicional se obtiene:

𝑝 𝑞 𝑟 𝑞 ∨ 𝑟 𝑝 ∧ (𝑞 ∨ 𝑟)
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 0 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1

Para que no llegue agua desde 𝐴 hacia 𝐵, se debe observar la última columna de la
tabla de verdad construida, verificando que sea una proposición falsa.

Luego, existen 5 formas diferentes para que NO llegue agua desde 𝐴 hacia 𝐵.
Al realizar el cambio sugerido, la forma proposicional que modeliza esta nueva
situación será 𝑝 ∧ 𝑞 ∨ 𝑟, realizando su tabla de verdad se obtiene:

𝑝 𝑞 𝑟 𝑝 ∧ 𝑞 𝑝 ∧ 𝑞 ∨ 𝑟
0 0 0 0 0
0 0 1 0 1
0 1 0 0 0
0 1 1 0 1
1 0 0 0 0
1 0 1 0 1
1 1 0 1 1
1 1 1 1 1

El número de combinaciones para que el esquema falle y NO llegue agua de 𝐴 hacia
𝐵 se reduce a 3, por lo tanto, es más eficiente el cambio sugerido. La bomba
modelada por 𝑝 deja de ser crítica para el funcionamiento del sistema.

Nótese que es suficiente que 𝒓 ≡ 𝟏 , para que 𝒑 ∧ 𝒒 ∨ 𝒓 ≡ 𝟏.

En conclusión, sí sería más eficiente el nuevo esquema porque el sistema
funcionaría prendiendo solamente la bomba 𝑟. En el caso anterior, era necesario
prender al menos 2 bombas.

Elaborado por @gbaqueri Página 7 de 20

7) Pedro tiene un problema con su vehículo, él pronuncia las siguientes AFIRMACIONES
respecto a la dificultad que se le ha presentado:

• Hay conflicto con el carburador o hay conflicto
con el distribuidor.
• Cuando hay un conflicto con el carburador, las
bujías de encendido deberían cambiarse.
• Si hay conflicto con el distribuidor, las bujías de
encendido deberían cambiarse; y viceversa.

Considerando que estos tres pronunciamientos son verdaderos al mismo tiempo,
IDENTIFIQUE cuál(es) de las PROPOSICIONES SIMPLES presentes también deben ser
VERDADERAS para saber dónde está el problema. Justifique su respuesta.

Se consideran las variables proposicionales:
𝑝: Hay conflicto con el carburador.
𝑞: Hay conflicto con el distribuidor.
𝑟: Las bujías de encendido deberían cambiarse.

Se realiza la traducción al lenguaje simbólico de las afirmaciones y luego se las
enlaza con el operador lógico de la conjunción para establecer la forma
proposicional a analizar:
• 𝑝 ∨ 𝑞
• 𝑝 → 𝑟
• 𝑞 ↔ 𝑟

𝑝 𝑞 𝑟 𝑝 ∨ 𝑞 𝑝 → 𝑟 𝑞 ↔ 𝑟 𝐴
0 0 0 0 1 1 0
0 0 1 0 1 0 0
0 1 0 1 1 0 0
0 1 1 1 1 1 1
1 0 0 1 0 1 0
1 0 1 1 1 0 0
1 1 0 1 0 0 0
1 1 1 1 1 1 1
𝐴: 𝑝 ∨ 𝑞 ∧ 𝑝 → 𝑟 ∧ 𝑞 ↔ 𝑟

Como se señala en la tabla de verdad, para saber donde está el problema es
necesario analizar la última columna y notar que 𝑞 y 𝑟 deben ser reemplazadas por
proposiciones verdaderas, mientras que no importa lo que ocurra con la variable
proposicional 𝑝.

Estos nos permite concluir que el problema de Pedro con su vehículo es que “hay
conflicto con el distribuidor” y “las bujías de encendido deberían cambiarse”.

Elaborado por @gbaqueri Página 8 de 20

8) Cuatro individuos fueron
arrestados por la policía, ya que
son sospechosos de un robo. Los
cuatro serán sometidos a un
interrogatorio por separado y
podría ocurrir que presenten
testimonios verdaderos 𝟏 o
falsos 𝟎 : 𝑃𝑒𝑑𝑟𝑜 𝑄𝑢𝑖𝑛𝑡𝑜 𝑅𝑎ú𝑙 𝑆𝑎𝑚𝑢𝑒𝑙

Dos agentes de policía, 𝑨 y 𝑩, se pusieron a analizar las
combinaciones posibles de estos cuatro testimonios. El
agente 𝑨 considera que si solamente uno de ellos
presenta un testimonio falso, se podrán tener más
posibilidades de resolver el caso. El agente 𝑩 piensa que
si exactamente dos de ellos presentan testimonios
falsos, se podrán tener más posibilidades de resolver el
caso.

¿Quién tiene la razón, 𝑨 o 𝑩? Justifique su respuesta.

Se construye una tabla de verdad basada en los supuestos que han indicaco los dos
agentes de policía:

Agente Agente
Pedro Quinto Raúl Samuel
𝑨 𝑩
0 0 0 1 0 0
0 0 0 0 0 0
0 0 1 1 0 1
0 0 1 0 0 0
0 1 0 1 0 1
0 1 0 0 0 0
0 1 1 1 1 0
0 1 1 0 0 1
1 0 0 1 0 1
1 0 0 0 0 0
1 0 1 1 1 0
1 0 1 0 1 1
1 1 0 1 1 0
1 1 0 0 0 1
1 1 1 1 0 0
1 1 1 0 1 0

Se contabilizan las combinaciones para cada agente de policía. El agente 𝐴 tiene 4
posibilidades y el agente 𝐵 tiene 6 posibilidades para resolver el caso.

Por lo tanto, el agente 𝐵 tiene la razón.

Elaborado por @gbaqueri Página 9 de 20

9) Varios super héroes quieren rescatar una princesa, para ello deben ingresar por
los cuartos de un castillo, a los cuales se puede acceder por cuatro puertas 𝒑, 𝒒, 𝒓
y 𝒔:




𝑟

𝑝 𝑞

𝑠


Si abrir 𝟏 o cerrar 𝟎 una puerta se lo toma como una variable proposicional y
los super héroes tienen diferentes llaves para abrir las cuatro puertas, determine:

a) La FORMA PROPOSICIONAL que modeliza el traspaso de las puertas desde donde
se encuentran los super héroes hasta llegar a la princesa.
b) La CANTIDAD DE COMBINACIONES posibles entre abrir y cerrar las cuatro puertas
para que los super héroes rescaten a la princesa.

Un super héroe dice “Si en la mitad tuviéramos las puertas 𝒒 y 𝒓; y al final
solamente estuviera la puerta 𝒔, tendríamos más posibilidades de rescatar a la
princesa”. ¿Tiene la razón? Justifique su respuesta.

Dado que para ingresar a cada cuarto del castillo, se debe pasar por la puerta
anterior; para llegar a la princesa, es necesario que se cumplan las tres condiciones,
aunque, para salir del último cuarto, sólo se necesita que al menos una de las dos
puertas esté abierta, es decir, la forma proposicional sería:

𝑝∧𝑞∧ 𝑟∨𝑠

Existen dieciseis combinaciones posibles entre abrir y cerrar las cuatro puertas 𝑝, 𝑞,
𝑟 y 𝑠. Al elaborar la correspondiente tabla de verdad para la forma proposicional se
obtiene:

Elaborado por @gbaqueri Página 10 de 20


𝑝 𝑞 𝑟 𝑠 𝑟 ∨ 𝑠 𝑝 ∧ 𝑞 ∧ (𝑟 ∨ 𝑠)
0 0 0 0 0 0
0 0 0 1 1 0
0 0 1 0 1 0
0 0 1 1 1 0
0 1 0 0 0 0
0 1 0 1 1 0
0 1 1 0 1 0
0 1 1 1 1 0
1 0 0 0 0 0
1 0 0 1 1 0
1 0 1 0 1 0
1 0 1 1 1 0
1 1 0 0 0 0
1 1 0 1 1 1
1 1 1 0 1 1
1 1 1 1 1 1

Para que los super héroes rescaten a la princesa, se debe observar la útlima columna
de la tabla de verdad construida, verificando que sea una proposición verdadera.

Luego, existen 3 formas diferentes para que la princesa sea rescatada.

Si él tuviera en la mitad a las puertas 𝑞 y 𝑟; y al final solamente la puerta 𝑠, no altera
el número de posibilidades. La nueva forma proposicional sería:
𝑝 ∧ 𝑞 ∨ 𝑟 ∧ 𝑠

En la siguiente tabka, solamente se colocarán las combinaciones para las cuales la
princesa es rescatada.

𝑝 𝑞 𝑟 𝑠 𝑞 ∨ 𝑟 𝑝 ∧ 𝑞 ∨ 𝑟 ∧ 𝑠
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1

Esto es, la cantidad de combinaciones no varía.

∴ El súper héroe NO TIENE LA RAZÓN.

Elaborado por @gbaqueri Página 11 de 20

10) Para prender un foco, dos electricistas, 𝑨 y 𝑩, proponen dos formas diferentes de
colocación de tres interruptores 𝒑, 𝒒 y 𝒓 en un circuito, tal como se muestra en la
figura:

𝑝
𝑝

𝑟 𝑞

𝑞

𝑟


𝐴
𝐵

Si el encendido 𝟏 o apagado 𝟎 de un interruptor se lo toma como una variable
proposicional, determine:

a) La FORMA PROPOSICIONAL que modeliza el flujo eléctrico para poder prender el
foco, para el circuito 𝑨 y para el circuito 𝑩.
b) En CUÁL de los DOS ESCENARIOS se tienen más posibilidades de encender el foco.

Para encender el foco en cualquiera de los casos, el circuito debe estar cerrado.

El interruptor 𝑟 debe activarse, y luego para cerrar el circuito puede activarse el
interruptor 𝑝 o el interruptor 𝑞. Por lo tanto, la forma proposicional para el circuito
A es:
𝑝 ∨ 𝑞 ∧ 𝑟

Para cerrar el circuito puede activarse el interruptor 𝑝 o el interruptor 𝑞 o el
interruptor 𝑟. Por tanto, la forma proposicional para el circuito B es:
𝑝∨𝑞∨𝑟
Elaboramos la tabla de verdad para cada circuito:

𝑝 𝑞 𝑟 𝑝 ∨ 𝑞 𝑟 ∧ 𝑝 ∨ 𝑞
0 0 0 0 0
0 0 1 0 0
0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1
1 1 0 1 0
1 1 1 1 1

Tabla de verdad del circuito A

Elaborado por @gbaqueri Página 12 de 20


𝑝 𝑞
𝑟 𝑝 ∨ 𝑞 ∨ 𝑟
0 0
0 0
0 0
1 1
0 1
0 1
0 1
1 1
1 0
0 1
1 0
1 1
1 1
0 1
1 1
1 1

Tabla de verdad del circuito B

Por lo tanto, el circuito B tiene más posibilidades de encender el foco.

11) Se conoce que la proposición compuesta dada a continuación es FALSA:

𝒂 ∧ ¬𝒄 ∧ ¬𝒄 → 𝒃 → ¬𝒂 ∨ ¬𝒅 ∨ 𝒅 → ¬𝒂

Determine el valor de verdad de las proposiciones simples 𝒂, 𝒃, 𝒄 y 𝒅; y, luego
determine el valor de verdad de las nuevas proposiciones compuestas:

a) 𝒃 ∨ 𝒅 ∧ 𝒄 → 𝒅
b) ¬𝒂 ↔ 𝒃 ∨ 𝒄

Ya que la condicional de proposiciones es FALSA, se tiene que su antecedente es
verdadero, mientras que su consecuente es falso:

𝑎 ∧ ¬𝑐 ∧ ¬𝑐 → 𝑏 → ¬𝑎 ∨ ¬𝑑 ∨ 𝑑 → ¬𝑎
𝟏 Z

Para que 𝑎 ∧ ¬𝑐 sea una proposición verdadera: 𝑎 ≡ 1 y 𝑐 ≡ 0

Para que ¬𝑐 → 𝑏 sea una proposición verdadera: 𝑏 ≡ 1

Para que ¬𝑎 ∨ ¬𝑑 sea una proposición falsa: 𝑑 ≡ 1

Luego, los valores de verdad de las proposiciones compuestas especificadas en cada
literal se obtienen a continuación:

a) 𝑏 ∨ 𝑑 ∧ 𝑐 → 𝑑 ≡ 1 ∨ 1 ∧ 0 → 1 ≡ 1 ∧ 1 ≡ 1

∴ La proposición compuesta es VERDADERA.

b) ¬𝑎 ↔ 𝑏 ∨ 𝑐 ≡ 0 ↔ 1 ∨ 0 ≡ 0 ↔ 1 ≡ 0

∴ La proposición compuesta es FALSA.

Elaborado por @gbaqueri Página 13 de 20


12) Se conoce que la proposición compuesta dada a continuación es FALSA:

¬𝒂 ∧ ¬𝒃 ∧ ¬𝒃 → 𝒄 → ¬𝒄 ∨ ¬𝒂 ∧ 𝒅

Determine el valor de verdad de las proposiciones simples 𝒂, 𝒃, 𝒄 y 𝒅; y, luego
determine el valor de verdad de las nuevas proposiciones compuestas:

a) 𝒅 ∧ ¬𝒂 → 𝒃 → 𝒄
b) 𝒃 ∧ ¬ ¬𝒄 ∨ 𝒅

Ya que la condicional de proposiciones es FALSA, se tiene que su antecedente es
verdadero:

¬𝑎 ∧ ¬𝑏 ∧ ¬𝑏 → 𝑐 ≡ 1

Mientras que su consecuente es falso:
¬𝑐 ∨ ¬𝑎 ∧ 𝑑 ≡ 0

Así, del antecedente se obtiene:
¬𝑎 ∧ ¬𝑏 ≡ 1 ; ¬𝑎 ≡ 1 ; 𝒂 ≡ 𝟎
¬𝑏 ≡ 1 ; 𝒃 ≡ 𝟎

Además: ¬𝑏 → 𝑐 ≡ 1 ; 1 → 𝑐 ≡ 1 ; 𝒄 ≡ 𝟏

Finalmente, ya que:
¬𝑐 ∨ ¬𝑎 ∧ 𝑑 ≡ 0 ; ¬𝑐 ≡ 0 𝑦 𝑝𝑜𝑟 𝑒𝑙𝑙𝑜: ¬𝑎 ∧ 𝑑 ≡ 0 ; 1 ∧ 𝑑 ≡ 0 ; 𝒅 ≡ 𝟎

Luego, los valores de verdad de las proposiciones compuestas especificadas en cada
literal se obtienen a continuación:

a) 𝑑 ∧ ¬𝑎 → 𝑏 → 𝑐 ≡ 0 ∧ ¬0 → 0 → 1 ≡ 0 → 1 ≡ 𝟏

∴ La proposición compuesta es VERDADERA.

b) 𝑏 ∧ ¬ ¬𝑐 ∨ 𝑑 ≡ 0 ∧ ¬ ¬1 ∨ 0 ≡ 0 ∧ ¬ 0 ≡ 0 ∧ 1 ≡ 𝟎

∴ La proposición compuesta es FALSA.

13) Dadas las siguientes premisas de un razonamiento:

“No me motivan mucho las ciencias o no me pongo a arreglar mi cuarto. Me
motivan mucho las ciencias.”

Sin utilizar tablas de verdad, determine si cada conclusión planteada hace que el
RAZONAMIENTO sea VÁLIDO o NO:

Elaborado por @gbaqueri Página 14 de 20

 a) Me pongo a arreglar mi cuarto.

Identificamos las variables proposicionales:
𝑝: Me motivan mucho las ciencias.
𝑞: Me pongo a arreglar mi cuarto.

Traducción al lenguaje simbólico de la forma proposicional:
¬𝑝 ∨ ¬𝑞 ∧ 𝑝 → 𝑞

Observe el caso particular en el cual la variable proposicional 𝑝 es reemplazada
por una proposición verdadera y 𝑞 por una proposición falsa:

¬1 ∨ ¬0 ∧ 1 → 0 ≡ 0 ∨ 1 ∧ 1 → 0 ≡ 1 ∧ 1 → 0 ≡ 1 → 0 ≡ 0

Esto nos permite concluir que la forma proposicional no es tautológica.

∴ El razonamiento NO es VÁLIDO.

b) No me pongo a arreglar mi cuarto.

La estructura lógica del nuevo razonamiento es:: ¬𝑝 ∨ ¬𝑞 ∧ 𝑝 → ¬𝑞

Nótese que se trata de la LEY DE SILOGISMO DISYUNTIVO.

∴ El razonamiento SÍ es VÁLIDO.

Aunque no es necesario, de forma opcional se podría demostrar la LEY DE
SILOGISMO DISYUNTIVO; en este caso, por el método directo:

p.d. ¬𝑝 ∨ ¬𝑞 ∧ 𝑝 ⇒ ¬𝑞

¬𝑝 ∨ ¬𝑞 ∧ 𝑝 ≡ ¬𝑝 ∧ 𝑝 ∨ ¬𝑞 ∧ 𝑝 Distributiva.
¬𝑝 ∧ 𝑝 ∨ ¬𝑞 ∧ 𝑝 ≡ 0 ∨ ¬𝑞 ∧ 𝑝 Contradicción.
0 ∨ ¬𝑞 ∧ 𝑝 ≡ ¬𝑞 ∧ 𝑝 Identidad de la disyunción.
¬𝑞 ∧ 𝑝 ⇒ ¬𝑞 Simplificación.

Elaborado por @gbaqueri Página 15 de 20

14) Dadas las siguientes premisas de un razonamiento:

“Leo un artículo en inglés o no estudio Matemáticas. No leo un artículo en
inglés.”

Sin utilizar tablas de verdad, determine si cada conclusión planteada hace que el
RAZONAMIENTO sea VÁLIDO o NO:

a) Estudio Matemáticas.

Identificamos las variables proposicionales:
𝑝: Leo un artículo en inglés.
𝑞: Estudio matemáticas.

Traducción al lenguaje simbólico de la forma proposicional:
𝑝 ∨ ¬𝑞 ∧ ¬𝑝 → 𝑞

Observe el caso particular en el cual las variables proposicionales 𝑝 y 𝑞 son
reemplazadas por proposiciones falsas.

0 ∨ ¬0 ∧ ¬0 → 0 ≡ 0 ∨ 1 ∧ 1 → 0 ≡ 1 ∧ 1 → 0 ≡ 1 → 0 ≡ 0

Esto nos permite concluir que la forma proposicional no es tautológica.

∴ El razonamiento NO es VÁLIDO.

b) No estudio Matemáticas.

La estructura lógica del nuevo razonamiento es: 𝑝 ∨ ¬𝑞 ∧ ¬𝑝 → ¬𝑞

Nótese que se trata de la LEY DE SILOGISMO DISYUNTIVO.

∴ El razonamiento SÍ es VÁLIDO.

Aunque no es necesario, de forma opcional se podría demostrar la LEY DE
SILOGISMO DISYUNTIVO; en este caso, por el método directo:

p.d. ¬𝑝 ∨ ¬𝑞 ∧ 𝑝 ⇒ ¬𝑞

¬𝑝 ∨ ¬𝑞 ∧ 𝑝 ≡ ¬𝑝 ∧ 𝑝 ∨ ¬𝑞 ∧ 𝑝 Distributiva.
¬𝑝 ∧ 𝑝 ∨ ¬𝑞 ∧ 𝑝 ≡ 0 ∨ ¬𝑞 ∧ 𝑝 Contradicción.
0 ∨ ¬𝑞 ∧ 𝑝 ≡ ¬𝑞 ∧ 𝑝 Identidad de la disyunción.
¬𝑞 ∧ 𝑝 ⇒ ¬𝑞 Simplificación.

Elaborado por @gbaqueri Página 16 de 20

15) Usando LEYES DE LOS OPERADORES LÓGICOS, determine si cada forma proposicional es
una TAUTOLOGÍA, una CONTRADICCIÓN o una CONTINGENCIA:

a) 𝒑 → 𝒒 ↔ 𝒑 ∧ ¬𝒒

¬𝑝 ∨ 𝑞 ↔ 𝑝 ∧ ¬𝑞 Ley de Implicación.
¬ 𝑝 ∧ ¬𝑞 ↔ 𝑝 ∧ ¬𝑞 Ley de De Morgan e Involutiva.
0 Ley de Contradicción.

∴ Es una CONTRADICCIÓN.

b) 𝐩 ∧ ¬𝒒 → ¬𝒑 → 𝒒

𝑝 ∧ 𝑝 → q → 𝑞 Ley Contrarrecíproca.
𝑝 → q ∧ 𝑝 → 𝑞 Ley Conmutativa de la Conjunción.
1 Ley del Modus Ponendo Ponens.

∴ Es una TAUTOLOGÍA.

16) Sean las formas proposicionales 𝑨 y 𝑩, justificando su respuesta con algún
método de demostración, determine el valor de verdad de la siguiente
proposición:

“Es suficiente que 𝑨 implique lógicamente a 𝑩, para que 𝑨 sea
equivalente lógicamente a 𝑩.”

Vamos a construir un contraejemplo, a partir de la LEY DE SIMPLIFICACIÓN:
𝑝 ∧ 𝑞 ⇒ 𝑝
a b

Para verificar que “ 𝑝 ∧ 𝑞 equivale lógicamente a 𝑝”, la forma proposicional
𝑝 ∧ 𝑞 ↔ 𝑝 debe ser una tautología:

𝑝 𝑞 𝑝 ∧ 𝑞 𝑝 ∧ 𝑞 ↔ 𝑝
0 0 0 1
0 1 0 1
1 0 0 0
1 1 1 1

Nótese que el enunciado original se puede expresar simbólicamente tal como se
indica a continuación y podemos concluir sobre su valor de verdad:
𝐴 ⇒ 𝐵 → 𝐴 ⇔ 𝐵 ≡ 0
c Z

∴ La proposición es FALSA.

Elaborado por @gbaqueri Página 17 de 20

17) Con base en las leyes que se indican a continuación, escriba una proposición
compuesta en lenguaje natural. Utilice un ejemplo diferente para cada literal:

a) 𝒑 ⇒ 𝒑 ∨ 𝒒 (Adición)

Un posible ejemplo es:
𝑝: Brasil clasificó al mundial.
𝑞: Uruguay clasificó al mundial.

“Si Brasil clasificó al mundial, entonces Brasil o Uruguay clasificaron al
mundial.”

b) 𝒑 ∨ 𝒒 ∧ ¬𝒒 ⇒ 𝒑 (Silogismo Disyuntivo)

Un posible ejemplo es:
𝑝: Guayaquil es la Perla del Pacífico.
𝑞: Quevedo es la capital de Los Ríos.

“Si Guayaquil es la Perla del Pacífico o Quevedo es la capital de Los Ríos, aunque
Quevedo no es la capital de Los Ríos; Guayaquil es la Perla del Pacífico.”

c) 𝒑 ∧ 𝒒 ⇒ 𝒑 (Simplificación)

Un posible ejemplo es:
𝑝: La ESPOL es categoría A.
𝑞: La ESPOL se fundó hace 59 años.

“Si la ESPOL es categoría A y se fundó hace 59 años, la ESPOL es categoría A.”

d) 𝒑 → 𝒒 ∧ 𝒑 ⇒ 𝒒 (Modus Ponendo Ponens)

Un posible ejemplo es:
𝑝: Trump es presidente.
𝑞: Hillary perdió.

“Si Trump es presidente, Hillary perdió; mas Trump es presidente. Entonces,
Hillary perdió.”

Elaborado por @gbaqueri Página 18 de 20

18) Usando LEYES DE LOS OPERADORES LÓGICOS, determine si cada forma proposicional es
una TAUTOLOGÍA, una CONTRADICCIÓN o una CONTINGENCIA:

a) ¬𝒑 ∧ 𝒑 ∨ 𝒒 ∧ ¬𝒒

(¬𝑝 ∧ 𝑝) ∨ ¬𝑝 ∧ 𝑞 ∧ ¬𝑞 Ley Distributiva.
0 ∨ ¬𝑝 ∧ 𝑞 ∧ ¬𝑞 Ley de Contradicción.
¬𝑝 ∧ 𝑞 ∧ ¬𝑞 Ley de Identidad de la Disyunción.
¬𝑝 ∧ 𝑞 ∧ ¬𝑞 Ley Asociativa de la Conjunción.
¬𝑝 ∧ 0 Ley de Contradicción.
0 Ley de Absorción de la Conjunción.

∴ Es una CONTRADICCIÓN.

b) 𝐩 ∧ ¬𝒑 ∨ 𝒒 → 𝒒

(𝑝 ∧ ¬𝑝) ∨ (𝑝 ∧ 𝑞) → 𝑞 Ley Distributiva.
0 ∨ 𝑝 ∧ 𝑞 ] → 𝑞 Ley de Contradicción.
𝑝 ∧ 𝑞 → 𝑞 Ley de Identidad de la Disyunción.
1 Ley de Simplificación.

∴ Es una TAUTOLOGÍA.

19) Empleando ÁLGEBRA PROPOSICIONAL, con el método de DEMOSTRACIÓN DIRECTA,
determine si la siguiente forma proposicional es TAUTOLÓGICA:

¬𝒑 ∨ ¬𝒒 ∧ 𝒑 → ¬𝒒

Aplicando las propiedades necesarias para el MÉTODO DIRECTO, a partir del
antecedente, y mediante inferencias lógicas, se debe llegar al consecuente. En este
caso, se trataría de una implicación lógica:

p. d.: ¬𝑝 ∨ ¬𝑞 ∧ 𝑝 ⇒ ¬𝑞

¬𝑝 ∨ ¬𝑞 ∧ 𝑝 ≡ ¬𝑝 ∧ 𝑝 ∨ ¬𝑞 ∧ 𝑝 Distributiva.
¬𝑝 ∧ 𝑝 ∨ ¬𝑞 ∧ 𝑝 ≡ 0 ∨ ¬𝑞 ∧ 𝑝 Contradicción.
0 ∨ ¬𝑞 ∧ 𝑝 ≡ ¬𝑞 ∧ 𝑝 Identidad de la disyunción.
¬𝑞 ∧ 𝑝 ⇒ ¬𝑞 Simplificación.

∴ La forma proposicional es TAUTOLÓGICA.

Elaborado por @gbaqueri Página 19 de 20

20) Empleando ÁLGEBRA PROPOSICIONAL, con el método de DEMOSTRACIÓN DIRECTA y
justificando su procedimiento paso a paso, pruebe la siguiente propiedad de los
operadores lógicos:

𝒑 → 𝒒 ∧ ¬𝒒 ⇒ ¬𝒑 (LEY DEL MODUS TOLENDO TOLLENS)


𝑝 → 𝑞 ∧ ¬𝑞 ⇒ ¬𝑝 ∨ 𝑞 ∧ ¬𝑞 Ley de Implicación.
¬𝑝 ∨ 𝑞 ∧ ¬𝑞 ⇒ ¬𝑝 ∧ ¬𝑞 ∨ 𝑞 ∧ ¬𝑞 Ley Distributiva.
¬𝑝 ∧ ¬𝑞 ∨ 𝑞 ∧ ¬𝑞 ⇒ ¬𝑝 ∧ ¬𝑞 ∨ 0 Ley de la Contradicción.
¬𝑝 ∧ ¬𝑞 ∨ 0 ⇒ ¬𝑝 ∧ ¬𝑞 Ley de Identidad.
¬𝑝 ∧ ¬𝑞 ⇒ ¬𝑝 Ley de Simplificación.

Elaborado por @gbaqueri Página 20 de 20