A.

EXPERIENCIA CONCRETA (PRERREQUISITOS)

A.1. TABLAS DE VERDAD

Definición

“Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la
lógica formal, pero al mismo tiempo también uno de los más poderosos y claros. Entender
bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma”
(Barceló, 2012, p. 1).

En este sentido, la construcción de una tabla de verdad permite mostrar el valor de verdad
de una proposición que puede tomar valores verdaderos o falsos únicamente, pero nunca
ambas.

El valor verdadero se representa por una “V”

El valor falso se representa por una “F”

A.1.2. CONSTRUCCIÓN DE TABLAS DE VERDAD

Primer paso: Determinar el número de variables lógicas que existe en el polinomio

booleano.

Segundo paso: Acomodar los valores de verdad de las premisas simples. En la primera
premisa simple, cuatro verdaderos, cuatro falsos; en la segunda premisa simple, dos
verdaderos, dos falsos; en la tercera premisa simple, uno verdadero, uno falso.

Tercer paso: Resolver las operaciones lógicas de acuerdo con los signos de agrupación
(ordenado).

Cuarto paso: Considerar los valores de verdad de la premisa compuesta como si fuera una
premisa simple y los valores de verdad de la siguiente variable, de acuerdo con la tabla de
la implicación.

Ejemplo 1: Determinar el valor de verdad del siguiente polinomio: (p ∧ q) → r

p q r p ∧ q → r
V V V V V V V V
V V F V V V F F
V F V V F F V V
V F F V F F V F
F V V F F V V V
F V F F F V V F
F F V F F F V V
F F F F F F V F

Elaborado por: Chasi Melany

A.2. TAUTOLOGÍA

Es una proposición compuesta para cualquier combinación de los valores de verdad de las
proposiciones simples, en donde se obtiene como resultado el valor verdadero (V).

NOTA: Detectar que una proposición es una tautología puede servir para usarla como una
fórmula, donde no importa el valor de verdad de las proposiciones simples que las componen;
siempre el resultado de esa fórmula será verdadero.

Ejemplo 1: Determinar si: p v ~p, es una tautología.

p p v ~p
V V V F
F F V V
Elaborado por: Chasi Melany

Ejemplo 2: Determinar si: ~ (p ↔ q) ↔ (p ⊻ q), es una tautología.

p q ~ (p ↔ q) ↔ (p ⊻ q)
V V F V V V V V F V
V F V V F F V V V F
F V V F F V V F V V
F F F F V F V F F F
∴ [~ (p ↔ q) ↔ (p ⊻ q)] = V (tautología)

Elaborado por: Pumashunta Wilson

A.3. CONTRADICCIÓN

Es una proposición compuesta en la que para cualquier combinación de valores de verdad de

las proposiciones simples se obtiene como valor de verdad falso (F), pero en la proposición
compuesta se obtiene como valor verdadero

Ejemplo 1: ~ (p v p) ↔ F

p ~ (p ↔ p) ↔ F
V F V V V V F
F F F V F V F
Elaborado por: Pumashunta Wilson

B. REFLEXIÓN

Las proposiciones las encontramos en la vida cotidiana ya que son frases que pueden ser
falsas o verdaderas, pero nunca ambas al mismo tiempo. Por ejemplo, podemos tener la
siguiente frase “Madrid es la capital del España”, efectivamente es una proposición, en este
caso es verdadera. Al unir dos oraciones formamos proposiciones compuestas, esta a su vez
se van a valer de conectores lógicos para tener coherencia. Por ende, podemos utilizar las
tablas de verdad para determinar el valor de una proposición. Por ejemplo, utilizaremos el
siguiente enunciado:

Kevin puede salir a jugar con sus vecinos si termina su tarea y ayuda en casa a su mamá.
Representaremos las proposiciones con letras:

p = Kevin puede salir a jugar con sus vecinos si termina su tarea

q = ayuda en casa a su mamá

Por lo tanto, el enunciado se puede representar usando simbología lógica dando por resultado:
𝑝∨𝑞

En las tablas de verdad se vería como:

p q p ∨ q
V V V
V F V
F V V
F F F

De esta manera entendemos de mejor manera como funcionan las proposiciones y los
conectores lógicos, en el ejemplo se utilizó el conector de la disyunción ("o"). Podemos ver
que para que Kevin pueda salir debe cumplir al menos una de las dos condiciones o ambas,
pero no puede salir mientas no haga deberes o ayude a su madre en el hogar.

C. CONCEPTUALIZACIÓN.

C.1. TEOREMA SUSTITUCIÓN DE VARIABLES (S.V).

Según Borrego del Pino (2009), es su documento lógico proporcional nos menciona que:

“La sustitución es un concepto fundamental en lógica. Una sustitución es una

transformación sintáctica de expresiones formales. Para solicitar un cambio a una
expresión medios para reemplazar constantemente su variable, o marcador de posición,
símbolos de otras expresiones. La expresión resultante se denomina instancia de
sustitución, o instancia corta, de la expresión original”.

Observación: Una sustitución de variable es el cambio de una proporción P por una proporción

Q mismo que nos ayudan a demostrar una equivalencia v

Ejemplo 1: verificar el teorema [𝒑 ∧ (~𝒑 v 𝒒)] ≡ (𝒑 ∧ 𝒒)

1. Se construye la tabla de verdad [𝑝 ∧ (~𝑝 v 𝑞)] ↔ (𝑝 ∧ 𝑞)

p q [p ∧ (~𝑝 v 𝑞)] ↔ (𝑝 ∧ 𝑞)
V V V V F V V V V V V
V F V F F F F V V F F
F V F F V V V V F F V
F F F F V V F V F F F
Elaborado por: Chiliquinga Freddy.
 2. Los casos excluyentes son (V, F) y (F, V).

3. El resultado final es una tautología para el bicondicional.

4. Por lo tanto, se concluye: [𝑝 ∧ (~𝑝 v 𝑞)] ≡ (𝑝 ∧ 𝑞)

Ejemplo 2: Comprobar el teorema: (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) ≡ 𝑝 → (𝑞 ∧ 𝑟)

1. Se construye la tabla de verdad: (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) ≡ 𝑝 → (𝑞 ∧ 𝑟) si se sabe que

(𝑝 → 𝑟): (𝑝 ∧ 𝑞) y (𝑞 ∧ 𝑟): (𝑞 ∧ 𝑝)

p q r (𝒑 → 𝒒) ∧ (𝒑 → 𝒓) ↔ 𝒑 → (𝒒 ∧ 𝒓)
V V V V V V V V V V V V V V V V
V V F V V V F V F F V V F V F F
V F V V F F F V V V V V F F F V
V F F V F F F V F F V V F F F F
F V V F V V V F V V V F V V V V
F V F F V V V F V F V F V V F F
F F V F V F V F V V V F V F F V
F F F F V F V F V F V F V F F F
Elaborado por: Chiliquinga Freddy.

1. Los casos excluyentes son (V, F) y (F, V).

2. El resultado final es una tautología para el bicondicional.
3. Por lo tanto, se concluye: (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) ≡ 𝑝 → (𝑞 ∧ 𝑟)

Luego sustituimos(𝑝 → 𝑞) ∧ (𝑝 → 𝑟) ≡ 𝑝 → (𝑞 ∧ 𝑟)

(𝑝 → 𝑟): (𝑝 ∧ 𝑞) y (𝑞 ∧ 𝑟): (𝑞 ∧ 𝑝).

Construimos la nueva tabla y comprobamos si llegamos a una tautología

p q r (𝑝 → 𝑞) ∧ (p ∧ q) ↔ 𝑝 → (𝑞 ∧ 𝑝)
V V V V V V V V V V V V V V V V
V V F V V V V V V V V V V V V F
V F V V F F V V V F V V V F V V
V F F V F F V F V F V V V F V F
F V V F V V V F V V V F V V V V
F V F F V V V F V V V F V V V F
F F V F V F V F F F V F V F V V
F F F F V F V F F F V F V F V F
Elaborado por: Chiliquinga Freddy.
 1. Los casos excluyentes son (V, F) y (F, V).

2. El resultado final es una tautología para el bicondicional.

3. Por lo tanto, se concluye: (𝑝 → 𝑞) ∧ (𝑝 ∧ 𝑞) ≡ 𝑝 → (𝑞 ∧ 𝑝)

Ejemplo 3: comprobar el teorema. (𝑝 v 𝑞) ≡ (~𝑝 → 𝑞) si

(~𝑝 → 𝑞) 𝑖𝑔𝑢𝑎𝑙 𝑎: (~𝑝 v ~𝑞) y verificar si se cumple la tautología

p q (𝑝 ∧ 𝑞) ↔ (~𝑝 → 𝑞)
V V V V V V F V V
V F V V F V F V F
F V F V V V V V V
F F F F F V V F F
Elaborado por: Chiliquinga Freddy.

1. Los casos excluyentes son (V, F) y (F, V).

2. El resultado final es una tautología para el bicondicional.

3. Por lo tanto, se concluye: (𝑝 v 𝑞) ≡ (~𝑝 → 𝑞)

Procedemos a realizar la sustitución: (𝑝 v 𝑞) ≡ (~𝑝 → 𝑞)

1. Realizamos la tabla de verdad de: (𝑝 v 𝑞) ↔ (~𝑝 → ~𝑞)

p q (𝑝 ∧ 𝑞) ↔ (~𝑝 v ~𝑞)
V V V V V F F F F
V F V V F F F F V
F V F V V F V F F
F F F F F F V V V
Elaborado por: Chiliquinga Freddy.

En este caso no se cumple la tautología, es una falacia al realizar la sustitución de variable

por lo tanto la proposición (𝑝 v 𝑞) no es equivalente a (~𝑝 → ~𝑞).

Nota: si la proporción no es equivalente cabe recalcar que no se la puede utilizar para

demostrar equivalencias.
D. APLICACIÓN

Ejercicios

1. Resolver las siguientes relaciones de equivalencia aplicando el teorema de

sustitución de variables (S.V)

1. (p → q) ↔ [~ (p ↖ q)] 2. (p ↓ q) ↔ [(p ⋁ q)]

3. [~ (p ∧ q)] ↔ (p ↑ q) 4. [~(p ← q)] ↔ (p ↙ q)
BIBLIOGRAFÍA

Arturo, A., & Aspeitia, B. (n.d.). Introducción a la Lógica Intensional Lógica Temporal
Proposicional Tablas de Verdad.
https://www.filosoficas.unam.mx/~abarcelo/INTENSIONAL/2012/260312.pdf

Bastidas Romo, P., Arias Balarezo, A., Lozado , E., Coronel Sánchez, M., Parra Moreno, V., &
Carrera, W. (2016). Lógica Matemática. Quito: Universidad Central del Ecuador.

Borrego, S. (15 de Febrero de 2009). Matematica. logica. Obtenido de

https://archivos.csif.es/archivos/andalucia/ensenanza/revistas/csicsif/revista/pd
f/Numero_15/SILVIA_BORREGO_1.pdf

Vicente, P., & Duarte, E. (n.d.). DEPARTAMENTO DE CIENCIAS MATEMÁTICAS

Iniciación al Cálculo Lógica proposicional y teoría de conjuntos. Retrieved November
20, 2022, from
https://repository.eafit.edu.co/bitstream/handle/10784/9774/taller_logica_propo
sicional_teoria_conjuntos.pdf?sequence=2&isAllowed=y#:~:text=Contradicci%C3%B
3n%3A%20es%20una%20proposici%C3%B3n%20compuesta