UnADM

Lic. En Matemáticas

Introducción al pensamiento
matemático

Actividad II
Operaciones proposicionales y lenguaje formal

Alumno:
Piña Velasco Iván De Jesús

Profesor:
Espíritu Montiel Víctor Ignacio
Grupo:
MT-MCSM-2401-B1-003

Fecha de entrega: 11 febrero 2024

Índice
Índice........................................................................................................................................................2
Grupo de ejercicios 1 ...............................................................................................................................2
Grupo de ejercicios 2 ...............................................................................................................................4
Bibliografía ...............................................................................................................................................6

Grupo de ejercicios 1
Simboliza las siguientes proposiciones en lenguaje formal y determina, por medio de una tabla de
verdad, si se trata de una contradicción, una tautología o una contingencia:

1. Claudia le dice a Víctor: si nos casamos y no terminamos, entonces, nos casamos o no hay
fiesta.

p: se casan

q: terminan

r: hay fiesta

Ya que, por la redacción se tiene una disyunción débil (∨) (nos casamos o no hay fiesta, se
procede de este modo:

𝑝 ∧ ¬𝑞 → 𝑝 ∨ ¬𝑟
Sabiendo que “el condicional es verdadero en cualquier caso excepto cuando el antecedente
es V y el consecuente es F” (Departamento de Matemática & FHCS, 2016):

𝑝 ¬𝑞 ¬𝑟 𝑝 ∧ ¬𝑞 𝑝 ∨ ¬𝑟 𝑝 ∧ ¬𝑞
→ 𝑝 ∨ ¬𝑟
F F F F F V
F F V F V V
F V F F F V
F V V F V V
V F F F V V
V F V F V V
V V F V V V
V V V V V V
Tabla 1: Respuesta al ejercicio 1

En este caso tenemos una tautología

Si se hace una corrección sobre este punto del modo que sigue:

Claudia le dice a Víctor: si nos casamos y no terminamos, entonces, o nos casamos o no hay
fiesta.
 Se logra una disyunción fuerte (∨):

𝑝 ∧ ¬𝑞 → 𝑝 ∨ ¬𝑟

𝑝 ¬𝑞 ¬𝑟 𝑝 ∧ ¬𝑞 𝑝 ∨ ¬𝑟 𝑝 ∧ ¬𝑞
→ 𝑝 ∨ ¬𝑟
F F F F F V
F F V F V V
F V F F F V
F V V F V V
V F F F V V
V F V F F V
V V F V V V
V V V V F F
Tabla 2: Respuesta alternativa al ejercicio 1

En cuyo caso, es una contingencia.

2. Mariana le dice a Juan que, si se casa con ella, entonces se pondrá feliz y Mariana se pone
feliz, entonces Juan se casará con ella.

p: Se casan

q: Mariana se pone feliz

Esto es:
(𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

Dado que “el bicondicional puede definirse también como la conjunción de un condicional y
su recíproco” (Departamento de Matemática & FHCS, 2016). Esto es, por definición:

𝑝⇔𝑞

De modo que la tabla de verdad queda:

𝑝 𝑞 (𝑝 → 𝑞) (𝑞 → 𝑝 ) 𝑝⇔𝑞
F F V V V
F V V F F
V F F V F
V V V V V
Tabla 3: Solución al ejercicio 2

En este caso es una contingencia

3. Luis le dice a su hijo que lo llevará al parque y a comer una hamburguesa, pero que no lo
llevará al parque o a comer una hamburguesa.

p: Lo lleva al parque

q: Lo lleva a comer una hamburguesa

(𝑝 ∧ 𝑞) ∧ ¬(𝑝 ∨ 𝑞)
 ¬(𝑝 ∨ 𝑞) también puede expresarse por la lógica NOR o 𝑝 ∨ 𝑞

𝑝 𝑞 (𝑝 ∧ 𝑞) ¬(𝑝 ∨ 𝑞) (𝑝 ∧ 𝑞)
∧ ¬(𝑝 ∨ 𝑞)
F F F V F
F V F F F
V F F F F
V V V F F
Tabla 4: Solución al ejercicio 3

En este caso, tenemos una contradicción

Grupo de ejercicios 2
Determina el valor de verdad de estas proposiciones mediante una tabla de verdad.

1. Determina usando una tabla de verdad 𝑝 → (𝑞 → (𝑟 → 𝑠)) ⇒ 𝑟 → (𝑝 → (𝑞 → 𝑠))

Sea 𝑡 = (𝑞 → (𝑟 → 𝑠))

Y 𝑢 = (𝑝 → (𝑞 → 𝑠))

(𝑞 (𝑝
𝑟 𝑞 𝑝 𝑟 𝑝→𝑡⇒𝑟
𝑝 𝑞 𝑟 𝑠 → (𝑟 → (𝑞
→𝑠 →𝑠 →𝑡 →𝑢 →𝑢
→ 𝑠))(𝑡) → 𝑠))(𝑢)
V V F F V F V F V V V
V V V F F F F F F F V
F F F F V V V V V V V
V F F V V V V V V V V
V F V F F V V V V V V
V F V V V V V V V V V
V V F V F V F V F V V
V V V V V V V V V V V
F F F V V V V V V V V
F F V F F V V V V V V
F F V V V V V V V V V
F V F F V F V V V V V
F V F V V V V V V V V
F V V F F F F V V V V
F V V V V V V V V V V
V F F F V V V V V V V
En este caso tenemos una tautología

2. Determina usando una tabla de verdad 𝑝 → 𝑞 ⇔ ¬𝑝 ∨ 𝑞

𝑝 𝑞 ¬𝑝 𝑝→𝑞 ¬𝑝 ∨ 𝑞 𝑝 → 𝑞 ⇔ ¬𝑝 ∨ 𝑞
F F V V V V
F V V V V V
V F F F F V
V V F V V V
 Se trata de una tautología

3. Determina usando una tabla de verdad 𝑝 ∨ 𝑞 ⇔ ¬𝑝 → 𝑞

𝑝 𝑞 ¬𝑝 𝑝∨𝑞 ¬𝑝 → 𝑞 𝑝 ∨ 𝑞 ⇔ ¬𝑝 → 𝑞
F F V F F V
F V V V V V
V F F V V V
V V F V V V
Se trata de una tautología

4. Determina usando una tabla de verdad (𝑝 → 𝑞) → 𝑟 → (¬𝑝 → 𝑞) ∨ ¬𝑟 ⇒ ¬𝑝 ∧ ¬𝑞

Sean 𝑠 = (𝑝 → 𝑞) → 𝑟

Y 𝑡 = (¬𝑝 → 𝑞) ∨ ¬𝑟
(𝑝 (¬𝑝
¬𝑝 ¬𝑝 𝑠→𝑡
𝑝 𝑞 𝑟 ¬𝑝 ¬𝑞 ¬𝑟 → 𝑞) → 𝑞) 𝑠→𝑡
→𝑞 ∧ ¬𝑞 ⇒ ¬𝑝 ∧ ¬𝑞
→𝑟 =𝑠 ∨ ¬𝑟 = 𝑡
F F F V V V F F V V V V
F F V V V F V F F F V V
F V F V F V F V V V F F
F V V V F F V V V V F F
V F F F V V V V V V F F
V F V F V F V V V V F F
V V F F F V F V V V F F
V V V F F F V V V V F F
Se trata de una tautología

5. Determina usando una tabla de verdad 𝑝 ∧ 𝑞 → ¬𝑝 ⇒ 𝑟

Esto puede representarse como: (𝑝 ∧ 𝑞 → ¬𝑝) ⇒ 𝑟

𝑝 𝑞 𝑟 ¬𝑝 𝑝∧𝑞 𝑝 ∧ 𝑞 → ¬𝑝 𝑝 ∧ 𝑞 → ¬𝑝 ⇒ 𝑟
F F F V F V F
F F V V F V V
F V F V F V F
F V V V F V V
V F F F F V F
V F V F F V V
V V F F V F V
V V V F V F V
Se trata de una contingencia

6. 𝑃→𝑄→𝑃→¬𝑄⇒¬𝑃 Determina usando una tabla de verdad 𝑝 → 𝑞 → 𝑝 → ¬𝑞 ⇒ ¬𝑝

Esto puede representarse como: (𝑝 → (𝑞 → (𝑝 → ¬𝑞))) ⇒ ¬𝑝

Por considerar que la ⇒ se usa a modo de diferenciación.

 𝑝 𝑞 ¬𝑝 ¬𝑞 𝑝 → ¬𝑞 𝑞 𝑝 → (𝑞 → (𝑝 𝑝 → 𝑞 → 𝑝 → ¬𝑞
→ (𝑝 → ¬𝑞)) ⇒ ¬𝑝
→ ¬𝑞)
F F V V V V V V
F V V F V V V V
V F F V V V V F
V V F F F F F V
Se trata de una contingencia

Bibliografía
Departamento de Matemática, & FHCS. (2016). GUIA TEORICO-PRACTICA I.