ESCUELA

SUPERIOR POLITÉCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS
CURSO DE NIVELACIÓN INTENSIVO OCTUBRE 2017
TALLER 1 – (11H00)
Guayaquil, 13 de octubre de 2017

S O L U C I Ó N y R Ú B R I C A

Tema 1 (20 puntos) Dada la siguiente proposición FALSA:
𝒃 ↔ ¬𝒂 ∧ 𝒄 → 𝒃 ∨ ¬𝒄

Determine, de ser posible, el valor de verdad de la nueva proposición compuesta:
¬ 𝒂 ∨ 𝒃 → 𝒄

Solución:

Para que la proposición dada sea falsa, debe cumplirse que el consecuente sea falso y
que el antecedente sea verdadero.
⎡ ⎤ ⎛ ⎞
⎢⎛ ⎞ ⎥ ⎜ ⎟
⎢ ⎜ b ↔ ¬a ⎟ ∧ c ⎥ → ⎜ b ∨ ¬c ⎟ ≡ 0
⎢⎝ 0 0 ⎠ 1⎥ ⎜0 0 ⎟
⎣ 1 ⎦ ⎝ 0 ⎠

b≡0
¬c ≡ 0 ∴ c ≡ 1
¬a ≡ 0 ∴ a ≡ 1

Esto es, tanto 𝑎 como 𝑐 deben ser proposiciones verdaderas y 𝑏 debe ser una
proposición falsa. Para la nueva proposición compuesta tenemos:
¬( a ∨ b ) → c
⎛ ⎞
¬ ⎜1 ∨ 0 ⎟ → 1
⎝ 1 ⎠
¬ (1) → 1
0

0 →1
1

∴ La proposición es VERDADERA.

Rúbrica:

Determina correctamente el valor de verdad de las proposiciones
4 puntos c/u
simples a , b y c .
Determina correctamente el valor de verdad de la nueva proposición
8 puntos
compuesta.

Elaborado por @gbaqueri y DBPA Página 1 de 5

Tema 2 (20 puntos) Dado el conjunto 𝐑𝐞 = 𝒙 𝒙 𝒆𝒔 𝒑𝒆𝒓𝒔𝒐𝒏𝒂 , definiendo los
predicados necesarios, traduzca al lenguaje formal las proposiciones indicadas en
cada literal, niegue cada una en lenguaje simbólico y exprésela en lenguaje natural:

a) Cada persona que es inteligente es parte del cambio.

Predicados:
i ( x ) : 𝑥 es inteligente.
c( x) : 𝑥 es parte del cambio.
Traducción:
∀x ⎡⎣i ( x ) → c ( x )⎤⎦
Negación en forma simbólica:
{ }
¬ ∀x ⎡⎣i ( x ) → c ( x )⎤⎦ ≡ ∃x¬ ⎡⎣i ( x ) → c ( x )⎤⎦
≡ ∃x¬ ⎡⎣¬i ( x ) ∨ c ( x )⎤⎦
≡ ∃x ⎡⎣i ( x ) ∧ ¬c ( x )⎤⎦
Negación en lenguaje natural:
Algunas personas inteligentes no son parte del cambio.

Rúbrica:

Define los predicados adecuados. 2 puntos
Traduce la proposición dada al lenguaje formal. 2 puntos
Utilizando leyes lógicas, niega correctamente la proposición. 4 puntos
Traduce al lenguaje común la proposición negada. 2 puntos

b) Hay personas de tez blanca que además viven en el Oriente.

Predicados:
t ( x ) : 𝑥 es de tez blanca.
o ( x ) : 𝑥 vive en el Oriente.
Traducción:
∃x ⎡⎣t ( x ) ∧ o ( x )⎤⎦
Negación en forma simbólica:
{ }
¬ ∃x ⎡⎣t ( x ) ∧ o ( x )⎤⎦ ≡ ∀x¬ ⎡⎣t ( x ) ∧ o ( x )⎤⎦
≡ ∀x ⎡⎣¬t ( x ) ∨ ¬o ( x )⎤⎦
≡ ∀x ⎡⎣t ( x ) → ¬o ( x )⎤⎦
Negación en lenguaje natural:
Ninguna persona de tez blanca vive en el Oriente.

Elaborado por @gbaqueri y DBPA Página 2 de 5

Rúbrica:

Define los predicados adecuados. 2 puntos
Traduce la proposición dada al lenguaje formal. 2 puntos
Utilizando leyes lógicas, niega correctamente la proposición. 4 puntos
Traduce al lenguaje común la proposición negada. 2 puntos

Tema 3 (20 puntos) Sea el conjunto referencial de países del mundo:
𝑹𝒆 = {𝑭𝒓𝒂𝒏𝒄𝒊𝒂, 𝑨𝒍𝒆𝒎𝒂𝒏𝒊𝒂, 𝑴é𝒙𝒊𝒄𝒐, 𝑰𝒕𝒂𝒍𝒊𝒂, 𝑷𝒂𝒏𝒂𝒎á, 𝑱𝒂𝒑ó𝒏, 𝑪𝒉𝒊𝒍𝒆}







Utilizando el método del CONTRAEJEMPLO, determine el valor de verdad para
cada una de las siguientes proposiciones:

a) Todas los países son de América o Europa.

Japón no es un país americano, ni europeo.

∴ La proposición es FALSA.

b) El único país que no tiene dos vocales repetidas en su nombre es 𝑱𝒂𝒑ó𝒏.

Existen otros países con vocales no repetidas, tales como México y Chile.

∴ La proposición es FALSA.

c) Ningún país tiene un nombre con seis letras.

Sí existen países cuyos nombres tienen seis letras, tales como Italia y México.

∴ La proposición es FALSA.

d) Ningún país tiene un diptongo en su nombre.

Países que tienen diptongo en su nombre son Francia, Alemania e Italia.

∴ La proposición es FALSA.

e) No existen pares de nombres de países que terminen en la misma letra.

Sí existen pares de nombres de países que terminan en la misma letra, tales como
Francia y Alemania, o, Italia y Panamá.

∴ La proposición es FALSA.
Elaborado por @gbaqueri y DBPA Página 3 de 5
Rúbrica:

Específica correctamente por lo menos un contraejemplo para cada
4 puntos c/u
literal y concluye que cada proposición es falsa.


Tema 4 (20 puntos) Dado el conjunto 𝑹𝒆 = −𝟐, −𝟏, 𝟎, 𝟏, 𝟐 y los predicados:
𝒑 𝒙 : 𝒙𝟐 − 𝟏 < −𝟐
𝒒 𝒙 : 𝒙 es un número impar o no es un número negativo.
𝒓 𝒙 : 𝒙𝟐 ≥ 𝟎

Tabule:
a) 𝑨𝒑 𝒙
b) 𝑨𝒒 𝒙
c) 𝑨𝒓 𝒙
d) 𝑨 𝒑 𝒙 → 𝒓 𝒙 ∧ ¬𝒒 𝒙

Solución:

a) 𝐴𝑝 𝑥 = ∅

b) 𝐴𝑞 𝑥 = −1, 0, 1, 2

c) 𝐴𝑟 𝑥 = 𝑅𝑒

d) 𝐴 𝑝 𝑥 → 𝑟 𝑥 ∧ ¬𝑞 𝑥 = 𝐴 𝑝 𝑥 → 𝑟 𝑥 ∩ 𝐴_ 𝑞 𝑥
= 𝐴_ 𝑝 𝑥 ∪ 𝐴𝑟 𝑥 ∩ 𝐴_ 𝑞 𝑥
= ∅_ ∪ 𝑅𝑒 ∩ −1, 0, 1, 2 _
= 𝑅𝑒 ∩ −2
𝐴 𝑝 𝑥 →𝑟 𝑥 ∧ ¬𝑞 𝑥 = −2

Rúbrica:

Tabula correctamente el conjunto de verdad del literal a). 4 puntos
Tabula correctamente el conjunto de verdad del literal b). 4 puntos
Tabula correctamente el conjunto de verdad del literal c). 4 puntos
Tabula correctamente el conjunto de verdad del literal d). 8 puntos

Tema 5 (20 puntos) Considere que 𝒇 𝒑, 𝒒, 𝒓, 𝒔 es una forma proposicional que tiene
cuatro variables, determine el valor de verdad de cada proposición:
a) Si 𝒇 𝒑, 𝒒, 𝒓, 𝒔 es tautológica, entonces 𝒇 𝟎, 𝟎, 𝟎, 𝟎 es una proposición falsa.
b) Si 𝒇 𝒑, 𝒒, 𝒓, 𝒔 es una contradicción, entonces 𝒇 𝟏, 𝟏, 𝟏, 𝟏 es una proposición
verdadera.
c) Si 𝒇 𝒑, 𝒒, 𝒓, 𝒔 es una contingencia y 𝒂 es una proposición falsa, entonces
𝒇 𝟎, 𝟎, 𝟎, 𝟎 → ¬𝒂 es una proposición verdadera.
d) Si 𝒇 𝒑, 𝒒, 𝒓, 𝒔 es tautológica, entonces ¬𝒇 𝟎, 𝟏, 𝟎, 𝟏 es una proposición falsa.

Elaborado por @gbaqueri y DBPA Página 4 de 5


Solución:

a) Dado que en el antecedente se afirma que 𝑓 𝑝, 𝑞, 𝑟, 𝑠 es tautológica, no importa
qué proposiciones reemplacen a las variables proposicionales, la proposición
resultante siempre será verdadera, lo que contradice el consecuente.

∴ La proposición es FALSA.

b) Dado que en el antecedente se afirma que 𝑓 𝑝, 𝑞, 𝑟, 𝑠 es una contradicción, no
importa qué proposiciones reemplacen a las variables proposicionales, la
proposición resultante siempre será falsa, lo que contradice el consecuente.

∴ La proposición es FALSA.

c) Dado que en el antecedente se afirma que 𝑓 𝑝, 𝑞, 𝑟, 𝑠 es una contingencia y a es
una proposición falsa, la estructura lógica de la proposición planteada sería:
→ ¬( 0) ≡ → 1

≡1

∴ La proposición es VERDADERA.

d) Dado que en el antecedente se afirma que 𝑓 𝑝, 𝑞, 𝑟, 𝑠 es tautológica, no importa
qué proposiciones reemplacen a las variables proposicionales, la proposición
resultante siempre será verdadera.

Si esto lo consideramos para el consecuente lo que tendríamos es:
¬𝑓 0, 1, 0, 1 ≡ ¬1 ≡ 0

∴ La proposición es VERDADERA.

Rúbrica:

Analiza y concluye correctamente sobre el valor de verdad de cada
5 puntos c/u
proposición.

Elaborado por @gbaqueri y DBPA Página 5 de 5