FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS

CURSO DE NIVELACIÓN MAYO 2023

TUTORÍA No 3 DE MATEMÁTICAS
Miércoles, 31 de mayo de 2023

Capítulo Secciones
1. Lógica 1.3 Clase de proposiciones
1.4 Estructura con variables
proposicionales

TEMAS DE NIVEL REPRODUCTIVO:

1) Una proposición simple es aquella que

a) Posee 2 o más operadores lógicos
b) No posee operador lógico alguno
c) Posee máximo 1 operador lógico
d) No posee el condicional como operador lógico

Solución

Una proposición simple es aquella que no posee operador lógico alguno.

2) Una proposición compuesta es aquella que:

a) No posee operador lógico alguno
b) Posee 3 o más operadores lógicos
c) Está formada por proposiciones simples y operadores lógicos
d) Posee mínimo 2 proposiciones simples

Solución

Una proposición compuesta está formada por proposiciones simples y operadores lógicos.

3) Una forma proposicional:

a) Está constituida por variables proposicionales y operadores lógicos
b) Está constituida por proposiciones y operadores lógicos
c) Es una proposición compuesta por dos o más proposiciones
d) Debe tener más de dos variables proposicionales.

Solución

Una forma proposicional está constituida por variables proposicionales y operadores lógicos
TEMAS DE NIVEL TRANSFERENCIAL BÁSICO:

4) De las siguientes proposiciones identifique la proposición simple

a) Rafael Correa nació en Guayaquil y Lenin Moreno nació en Nuevo Rocafuerte
b) 28 es divisible para 4 o divisible para 5
c) Guillermo Lasso ganó la lotería porque compró un auto nuevo.
d) El 24 de mayo se conmemora la Batalla del Pichincha en Ecuador.

Solución

a) Esta proposición es compuesta porque tiene el operador de conjunción

b) Esta proposición es compuesta porque posee el operador de disyunción
c) Esta proposición es compuesta porque posee el operador condicional
d) Esta proposición es simple porque no posee operador lógico alguno. Esta opción es la
correcta.

5) Si las formas proposicionales 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías, entonces ES CIERTO que:
a) 𝑔(1,0,1) ∨ ℎ(0,1,0) es una proposición verdadera
b) 𝑔(0,0,1) ∧ ℎ(1,1,0) es una proposición falsa
c) ℎ(1,1,1) → ¬𝑔(0, 0, 0) es una proposición verdadera

Solución

a) Debido a que 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías entonces las proposiciones 𝑔(1,0,1)
y ℎ(0,1,0) son verdaderas, teniendo así 𝑔(1,0,1) ∨ ℎ(0,1,0) ≡ 1 ∨ 1 ≡ 1. Esta opción
es la correcta.
b) Debido a que 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías entonces las proposiciones 𝑔(0,0,1)
y ℎ(1,1,0) son verdaderas, teniendo así 𝑔(0,0,1) ∧ ℎ(1,1,0) ≡ 1 ∧ 1 ≡ 1.

c) Debido a que 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías entonces las proposiciones ℎ(1,1,1)
y 𝑔(0,0,0) son verdaderas, teniendo así ℎ(1,1,1) → ¬𝑔(0, 0, 0) ≡ 1 → 0 ≡ 0.

6) Si 𝑔(𝑝, 𝑞, 𝑟) es una forma proposicional dada por la expresión [𝑝 ↔ 𝑟] ∨ [𝑞 ↔ 𝑟], entonces:

a) 𝑔(1,0,1) es verdadera
b) 𝑔(0,0,0) es falsa
c) 𝑔(1,1,1) es falsa
d) 𝑔(0,1,0) es falsa

Solución

a) Si 𝑝 ≡ 1, 𝑞 ≡ 0, 𝑟 ≡ 1 entonces 𝑔(1,0,1) ≡ [1 ↔ 1] ∨ [0 ↔ 1] ≡ 1 ∨ 0 ≡ 1. Esta

opción es correcta.
b) Si 𝑝 ≡ 0, 𝑞 ≡ 0, 𝑟 ≡ 0 entonces 𝑔(0, 0,0) ≡ [0 ↔ 0] ∨ [0 ↔ 0] ≡ 1 ∨ 1 ≡ 1.
c) Si 𝑝 ≡ 1, 𝑞 ≡ 1, 𝑟 ≡ 1 entonces 𝑔(1,1,1) ≡ [1 ↔ 1] ∨ [1 ↔ 1] ≡ 1 ∨ 1 ≡ 1.
d) Si 𝑝 ≡ 0, 𝑞 ≡ 1, 𝑟 ≡ 0 entonces 𝑔(0,1,0) ≡ [0 ↔ 0] ∨ [1 ↔ 0] ≡ 1 ∨ 0 ≡ 1.
TEMAS DE NIVEL TRANSFERENCIAL SUPERIOR:

7) Suponiendo que las proposiciones 𝑎, 𝑏, 𝑐, 𝑑 poseen los valores de verdad 1, 1, 0, 1

respectivamente. Determine el valor de verdad de las siguientes proposiciones compuestas
a) ¬(𝑎 ∨ 𝑏) → ¬([𝑐 ∧ 𝑑] ∧ 𝑎)
b) (𝑐 → [𝑑 ∨ 𝑎]) → (𝑏 → [𝑎 ∨ 𝑐])

Solución

a) Al reemplazar los valores de verdad respectivos se obtiene:

¬(𝑎 ∨ 𝑏) → ¬(𝑐 ∧ 𝑑 ∧ 𝑎) ≡ ¬(1 ∨ 1) → ¬([0 ∧ 1] ∧ 1)

≡ ¬(1) → ¬(0 ∧ 1) ≡ 0 → ¬0 ≡ 1
La proposición es verdadera.

b) Al reemplazar los valores de verdad respectivos se obtiene:

(𝑐 → [𝑑 ∨ 𝑎]) → (𝑏 → [𝑎 ∨ 𝑐]) ≡ (0 → [1 ∨ 1]) → (1 → [1 ∨ 0])
≡ (0 → 1) → (1 → 1) ≡ 1 → 1 ≡ 1

La proposición es verdadera.

8) La proposición (𝑏 ∧ ¬𝑐) → (𝑐 ∨ 𝑑) es falsa. Entonces

a) ¬(𝑏 ∨ 𝑑) es falsa
b) 𝑐 → 𝑑 es falsa
c) 𝑐 → 𝑏 es falsa
d) 𝑑 → 𝑐 es falsa

Solución

Si (𝑏 ∧ ¬𝑐) → (𝑐 ∨ 𝑑) ≡ 0 entonces 𝑏 ∧ ¬𝑐 ≡ 1 y 𝑐 ∨ 𝑑 ≡ 0.

Si 𝑏 ∧ ¬𝑐 ≡ 1 entonces 𝑏 ≡ 1 y ¬𝑐 ≡ 1. Así, 𝑐 ≡ 0.

Si 𝑐 ∨ 𝑑 ≡ 0 entonces 𝑐 ≡ 0 y 𝑑 ≡ 0.

Por lo tanto, se obtienen los valores de verdad de cada proposición simple

𝑏 ≡ 1, 𝑐 ≡ 0, 𝑑 ≡ 0
Reemplazando en cada literal

a) ¬(𝑏 ∨ 𝑑) ≡ ¬(1 ∨ 0) ≡ ¬1 ≡ 0. Esta opción es la correcta.

b) 𝑐 → 𝑑 ≡ 0 → 0 ≡ 1.
c) 𝑐 → 𝑏 ≡ 0 → 1 ≡ 1.
d) 𝑑 → 𝑐 ≡ 0 → 0 ≡ 1.
9) Si las formas proposicionales 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías, entonces ES CIERTO que:
a) La forma proposicional 𝐴: 𝑔(𝑝, 𝑞, 𝑟) ∨ ¬ℎ(𝑝, 𝑞, 𝑟) es contradicción.
b) La forma proposicional 𝐵: [𝑔(𝑝, 𝑞, 𝑟) → ℎ(𝑝, 𝑞, 𝑟)] ∨ ¬𝑔(𝑝, 𝑞, 𝑟) es contingencia
c) La forma proposicional 𝐶: [¬𝑔(𝑝, 𝑞, 𝑟) ∨ ¬ℎ(𝑝, 𝑞, 𝑟)] → ¬𝑔(𝑝, 𝑞, 𝑟) es tautología

Solución

Al evaluar las formas proposicionales siempre se obtendrá que 𝑔(𝑝, 𝑞, 𝑟) ≡ 1 y ℎ(𝑝, 𝑞, 𝑟) ≡

1. Por lo tanto,

a) Al evaluar la forma proposicional 𝐴 se obtiene 1 ∨ 0 ≡ 1, de lo que se deduce que A es

tautología.
b) Al evaluar la forma proposicional 𝐵 se obtiene [1 → 1] ∨ 0 ≡ 1 ∨ 0 ≡ 1, de lo que se
deduce que 𝐵 es tautología.
c) Al evaluar la forma proposicional 𝐶 se obtiene [0 ∨ 0] → 0 ≡ 0 → 0 ≡ 1, de lo que se
deduce que 𝐶 es tautología. Esta es la opción correcta.

TEMAS DE NIVEL CRÍTICO:

10) Suponiendo que las proposiciones 𝑎, 𝑏, 𝑐, 𝑑 poseen los siguientes valores de verdad 0,0,0,0
respectivamente. Construye, de ser posible, una proposición compuesta verdadera usando
las cuatro proposiciones 𝑎, 𝑏, 𝑐, 𝑑 y al menos 5 operadores lógicos.

Solución

Un ejemplo de una proposición compuesta verdadera es:

[(𝑎 ∨ 𝑐) ∧ (𝑏 ∨ 𝑑)] → (𝑏 ∧ 𝑐)

Ya que
[(0 ∨ 0) ∧ (0 ∨ 0)] → (0 ∧ 0) ≡ [0 ∧ 0] → 0 ≡ 0 → 0 ≡ 1

11) Considere las variables proposicionales 𝑝, 𝑞, 𝑟. Complete el espacio en blanco con algún
operador lógico para que la forma proposicional sea una tautología.
[𝑝 → (¬𝑞 ∨ 𝑟)] [(𝑝 ∧ 𝑞) ∨ 𝑟]

Solución

Si realizamos la tabla de verdad

p q r ¬𝑞 ∨ 𝑟 𝐴: 𝑝 → (¬𝑞 ∨ 𝑟) 𝑝∧𝑞 𝐵: (𝑝 ∧ 𝑞) ∨ 𝑟 𝐴∨𝐵
0 0 0 1 1 0 0 1
0 0 1 1 1 0 1 1
0 1 0 0 1 0 0 1
0 1 1 1 1 0 1 1
1 0 0 1 1 0 0 1
1 0 1 1 1 0 1 1
1 1 0 0 0 1 1 1
1 1 1 1 1 1 1 1
 De acuerdo con la tabla de verdad, el operador lógico que hace a la forma proposicional una
tautología es el operador de disyunción ∨

12) Considere las variables proposicionales 𝑝, 𝑞, 𝑟. Complete el espacio en blanco con algún
operador lógico para que la forma proposicional sea una tautología.
[𝑝 ∧ ¬(𝑟 → 𝑝)] ¬(𝑝 ∧ 𝑞)
Solución

p q r 𝑟→𝑝 ¬(𝑟 → 𝑝) 𝐴: 𝑝 ∧ ¬(𝑟 → 𝑝) 𝑝∧𝑞 𝐵: ¬(𝑝 ∧ 𝑞) 𝐴→𝐵

0 0 0 1 0 0 0 1 1
0 0 1 0 1 0 0 1 1
0 1 0 1 0 0 0 1 1
0 1 1 0 1 0 0 1 1
1 0 0 1 0 0 0 1 1
1 0 1 1 0 0 0 1 1
1 1 0 1 0 0 1 0 1
1 1 1 1 0 0 1 0 1

De acuerdo con la tabla de verdad, el operador lógico que hace a la forma proposicional una
tautología es el operador de condicional →.