Las preposiciones lógicas son afirmaciones a las que se le puede Proposición Valor

atribuir un valor de verdad 0 falso o 1 verdadero. 2+2 =4 1

Existen enunciados con valor de verdad desconocido (D) porque 4>5 0
el conocimiento no ha sido capaz de demostrar la afirmación, pero Existe vida inteligente fuera de la Tierra D
sí que se le puede otorgar uno; y enunciados inconsistentes (I) que La mesa de Raúl es bonita I
dependen del observador y no son proposiciones lógicas. El boli de Juan I

CONECTORES LÓGICOS
Conjunción (y) ∧ ⋅ Las dos condiciones se cumplen simultáneamente
Disyunción (o) ∨ + Al menos una de las dos condiciones sea cierta o se cumpla
Implicación → Cada vez que se dé la causa se tiene que dar la consecuencia: 𝑝 → 𝑞 = 𝑝̅ + 𝑞
Equivalencia ↔ Los valores de verdad son equivalentes
Negación ¬ ̅ Se invierte el valor de verdad del enunciado

Conjunción Disyunción Implicación Equivalencia Negación

𝑝 𝑞 𝑝⋅𝑞 𝑝+𝑞 𝑝→𝑞 𝑝↔𝑞 𝑝 𝑝̅
1 1 1 1 1 1 1 0
1 0 0 1 0 0 0 1
0 1 0 1 1 0
0 0 0 0 1 1

FÓRMULAS LÓGICAS: son enunciados lógicos conectados por conectores lógicos y pueden ser de tres tipos.
Tautología La fórmula siempre debe tener un valor de verdad verdadero (1)
Contradicción La fórmula siempre debe tener un valor de verdad falso (0)
Contingente La fórmula puede tener un valor de verdad verdadero (1) y falso (0)

Propiedades conjuntivas Propiedades disyuntivas Otras propiedades

𝑝 ⋅ (𝑞 ⋅ 𝑟) = (𝑝 ⋅ 𝑞) ⋅ 𝑟 𝑝 + (𝑞 + 𝑟) = (𝑝 + 𝑞) + 𝑟 𝑝̿ = 𝑝
𝑝⋅𝑞 =𝑞⋅𝑝 𝑝+𝑞 = 𝑞+𝑝
𝑝 ⋅ (𝑞 + 𝑟) = (𝑝 ⋅ 𝑞) + (𝑝 ⋅ 𝑟) 𝑝 + (𝑞 ⋅ 𝑟) = (𝑝 + 𝑞) ⋅ (𝑝 + 𝑟)
𝑝 ⋅ 𝑝̅ = 0 𝑝 + 𝑝̅ = 1
𝑝⋅0=0 𝑝+1=1
𝑝⋅1=𝑝 𝑝+0=𝑝
𝑝⋅𝑝 =𝑝 𝑝+𝑝=𝑝
𝑝 ⋅ (𝑝 + 𝑞) = 𝑝 𝑝 + (𝑝 ⋅ 𝑞) = 𝑝
𝑝 ⋅ 𝑞 = 𝑞̅ + 𝑝̅
̅̅̅̅̅̅ ̅̅̅̅̅̅̅
𝑝 + 𝑞 = 𝑞̅ ⋅ 𝑝̅

Página 1 de 6
Enunciado Tabla de verdad Solución
¬𝑝 𝑝
¬𝑝 0 1 Contingente
1 0
𝑝 𝑝 ¬𝑝 + 𝑝 𝑝→𝑝
𝑝→𝑝 1 1 0+1 1 Tautología
0 0 1+0 1
𝑝 ¬𝑝 ¬𝑝 + ¬𝑝 𝑝 → ¬𝑝
𝑝 → ¬𝑝 1 0 0+0 0 Contingente
0 1 1+1 1
𝑝 ¬𝑝 𝑝 ⋅ ¬𝑝 𝑝 ∧ ¬𝑝
𝑝 ∧ ¬𝑝 1 0 1⋅0 0 Contradicción
0 1 0⋅1 0
𝑝 ¬𝑝 𝑝 + ¬𝑝 𝑝 ∨ ¬𝑝
𝑝 ∨ ¬𝑝 1 0 1+0 1 Tautología
0 1 0+1 1
𝑝 𝑝 𝑝⋅𝑝 𝑝∧𝑝
𝑝∧𝑝 1 1 1⋅1 1 Contingente
0 0 0⋅0 0
𝑝 𝑝 𝑝↔𝑝 𝑝↔𝑝
𝑝↔𝑝 1 1 1↔1 1 Tautología
0 0 0↔0 1
𝑝 ¬𝑝 𝑝 ↔ ¬𝑝 𝑝 ↔ ¬𝑝
𝑝 ↔ ¬𝑝 1 0 1↔0 0 Contradicción
0 1 0↔1 0
¬𝑝 ¬𝑝 𝑝 ↔ ¬𝑝 𝑝 ↔ ¬𝑝
¬(𝑝 → 𝑝) 0 0 1↔0 0 Contradicción
1 1 0↔1 0
¬𝑝 ¬𝑞 𝑝 + ¬𝑝 ¬(𝑝 → 𝑞)
0 0 1+0 1
¬(𝑝 → 𝑞) 0 1 1+1 1 Contingente
1 0 0+0 0
1 1 0+1 1
¬𝑝 ¬𝑞 ¬𝑝 ↔ ¬𝑝 ¬(𝑝 ↔ 𝑞)
0 0 0↔0 1
¬(𝑝 ↔ 𝑞) 0 1 0↔1 0 Contingente
1 0 1↔0 0
1 1 1↔1 1

Prueba que 𝑝 → 𝑞 no es equivalente a su recíproco 𝑞 → 𝑝 pero sí que es equivalente a su contrarrecíproco ¬𝑞 → ¬𝑝

𝑝 𝑞 𝑝̅ + 𝑞 𝑝→𝑞 𝑞 𝑝 𝑞̅ + 𝑝 𝑞→𝑝 𝑞̅ 𝑝̅ 𝑞 + 𝑝̅ 𝑞̅ → 𝑝̅
1 0 0+0 0 0 1 1+1 1 1 0 0+0 0
1 1 0+1 1 1 1 0+1 1 0 0 1+0 1
0 0 1+0 1 0 0 1+0 1 1 1 0+1 1
0 1 1+1 1 1 0 0+0 0 0 1 1+1 1

Página 2 de 6
Enunciado Tabla de verdad Solución
𝑝 𝑝⋅𝑞 ¬𝑝 + 𝑝 ⋅ 𝑞 𝑝 → (𝑝 ∧ 𝑞)
1 1 1 1 0+1 1
𝑝 → (𝑝 ∧ 𝑞) 1 1 0 0 0+0 0 Contingente
0 0 1 0 1+0 1
0 0 0 0 1+0 1
𝑝 𝑝+𝑞 ¬𝑝 + (𝑝 + 𝑞) 𝑝 → (𝑝 ∨ 𝑞)
1 1 1 1 0+1 1
𝑝 → (𝑝 ∨ 𝑞) 1 1 0 1 0+1 1 Tautología
0 0 1 1 1+0 1
0 0 0 0 1+0 1
𝑝 ¬(𝑝 ⋅ 𝑞) + 𝑝 (𝑝 ∧ 𝑞) → 𝑝
1 1 1 1 0+1 1
(𝑝 ∧ 𝑞) → 𝑝 1 0 0 1 1+1 1 Tautología
0 1 0 0 1+0 1
0 0 0 0 1+0 1
𝑝+𝑞 𝑝 ¬(𝑝 + 𝑞) + 𝑝 (𝑝 ∨ 𝑞) → 𝑝
1 1 1 1 0+1 1
(𝑝 ∨ 𝑞) → 𝑝 1 0 1 1 0+1 1 Contingente
0 1 1 0 0+0 0
0 0 0 0 1+0 1
𝑝⋅𝑞 𝑝+𝑞 ̅̅̅̅̅̅̅̅
(𝑝 ⋅ 𝑞) + (𝑝 + 𝑞) (𝑝 ∧ 𝑞) → (𝑝 ∨ 𝑞)
1 1 1 1 1 1 0+1 1
(𝑝 ∧ 𝑞) → (𝑝 ∨ 𝑞) 1 0 0 1 0 1 1+1 1 Tautología
0 1 0 0 1 1 1+1 1
0 0 0 0 0 0 1+0 1
𝑝+𝑞 𝑝⋅𝑞 ̅̅̅̅̅̅̅̅̅̅
(𝑝 + 𝑞) + (𝑝 ⋅ 𝑞) (𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞)
1 1 1 1 1 1 0+1 1
(𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞) 1 0 1 1 0 0 0+0 0 Contingente
0 1 1 0 1 0 0+0 0
0 0 0 0 0 0 1+0 1
𝑝̅ + 𝑞 𝑝 · ¬𝑞 (𝑝̅ + 𝑞) · (𝑝 · 𝑞̅) (𝑝 → 𝑞) ∧ (𝑝 ∧ 𝑞̅)
0 1 1 1 0 0 1·0 0
(𝑝 → 𝑞) ∧ (𝑝 ∧ ¬𝑞) 0 0 0 1 1 1 0·1 0 Contradicción
1 1 1 0 0 0 1·0 0
1 0 1 0 1 0 1·0 0
𝑝̅ + 𝑞 𝑞̅ + 𝑝 ̅̅̅̅̅̅̅̅̅
¬𝑝 + 𝑞 + 𝑞̅ + 𝑝 (𝑝 → 𝑞) → (𝑞 → 𝑝)
0 1 1 0 1 1 0+1 1
(𝑝 → 𝑞) → (𝑞 → 𝑝) 0 0 0 1 1 1 1+1 1 Contingente
1 1 1 0 0 0 0+0 0
1 0 1 1 0 1 0+1 1

Resuelve: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟), la solución es una tautología

𝑝̅ + 𝑞 𝑞̅ + 𝑟 𝑝̅ + 𝑞 · 𝑞̅ + 𝑟 (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) 𝑝̅ + 𝑟 ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) · ¬𝑝 + 𝑟 Sol.
0 1 1 0 1 1 1·1 1 0+1 0+1 1
0 1 1 0 0 0 1·0 0 0+0 1+0 1
0 0 0 1 1 1 0·1 0 0+1 1+1 1
0 0 0 1 0 1 0·1 0 0+0 1+0 1
1 1 1 0 1 1 1·1 1 1+1 0+1 1
1 1 1 0 0 0 1·0 0 1+0 1+1 1
1 0 1 1 1 1 1·1 1 1+1 0+1 1
1 0 1 1 0 1 1·1 1 1+0 0+1 1

Página 3 de 6
1.1 Teoría de conjuntos

Un conjunto es una colección de {1,3,5,7,9,1, … } = {2𝑛 − 1 | 𝑛 ∈ N}

objetos donde cada uno de estos
{1,3,5,7,9,1, … } Elementos que pertenecen al conjunto
objetos recibe el nombre de
elemento. Cada uno de los 2𝑛 − 1 Aspecto que tienen los números en función de un parámetro
elementos del conjunto sólo debe
aparecer una única vez, y el 𝑛∈N Indica la variación del parámetro
conjunto formado por cero {𝑎, 𝑏, 𝑏, 𝑐, 𝑑, 𝑎} Conjunto mal denotado
elementos recibe el nombre de
conjunto vacío. A=∅ Conjunto vacío

1.2 Teoría de predicados

Un predicado es una afirmación p(n1 , x2 , … , xn ) Predicado

que hace referencia a una relación
entre objetos, de forma que, al
sustituirlos por valores concretos,
el resultado de reemplazar dichos
objetos por valores corresponde a
una afirmación lógica, la cual,
dispone de un valor de verdad que
depende de los valores.
p(x, y): x + y = 3 Su valor de verdad depende de los valores x e y, ej.: p(1, 2)
∀ Símbolo de cuantificador universal, se lee: para todo
∀x ∈ U, p(x) Para todo valor de x del conjunto U se cumple p(x)
∃ o | o/ Símbolo de cuantificador existencial, se lee: tal que
∃x ∈ U: p(x) Existe un x del conjunto U tal que p(x)

Enunciado El cuadrado de todo número real es mayor o igual que 0

Solución ∀x ∈ R, 𝑥 2 ≥ 0
Desarrollo 𝑆𝑖 𝑥 = 0 → 02 = 0 → 0 ≥ 0
Valor Verdadero

Enunciado Todo par de números enteros verifica que su suma es positiva

Solución ∀x, y ∈ Z, x + y ˃ 0
Desarrollo 𝑆𝑖 𝑥, 𝑦 = 0, −2 → 0 + (−2) = −2 → −2 > 0
Valor Falso

Enunciado Existe un valor real cuyo cuadrado es igual a -1

Solución ∃x ∈ R: 𝑥 2 = −1
Desarrollo 𝑆𝑖 𝑥 = 0 → 02 = 0 → 0 = −1
Valor Falso

Enunciado Existen un par de números enteros tales que su suma es igual a 10

Solución ∃x, y ∈ Z: x + y = 10
Desarrollo 𝑆𝑖 𝑥, 𝑦 = −4, 14 → −4 + 14 = 10 → 10 = 10
Valor Verdadero

Los dos tipos de cuantificadores pueden combinarse de cualquier forma; no obstante, el orden en el que aparecen
es crucial, puesto que NO conmutan.

Página 4 de 6
Enunciado Para todo número natural, existe otro natural tal que este último es mayor que el primero
Solución ∀x ∈ N, ∃y ∈ N; y > x
Desarrollo Si y = x + 1 entonces x + 1 > x
Valor Verdadero
Explicación El enunciado dice que para cualquier valor natural de “x” existe un valor natural de “y” mayor.
Como la “x” está cuantificada, con demostrar un caso particular se demuestra la condición.
Como la restricción la pone la “x”, este será el valor inmutable.
Entonces operando con la “y” si y = x + 1 se demuestra que siempre existirá un número natural mayor que
otro número natural.

Enunciado Existe un número natural tal que es mayor que el resto de los números naturales
Solución ∃y ∈ N; ∀x ∈ N, y > x
Desarrollo Si x = y + 1 entonces y > y + 1
Valor Falso
Explicación El enunciado dice que existe un valor de “y” natural que es mayor que cualquier valor de “x” natural.
Como la “x” está cuantificada, con demostrar un caso particular se demuestra la condición.
Como la restricción la pone la “y”, este será el valor inmutable.
Entonces operando con la “x” si x = y + 1 se demuestra que NO existe un valor de “y” natural mayor que
cualquier otro número natural.

Sea A y B dos afirmaciones lógicas. Diremos que A implica lógicamente B, y lo denotaremos

Implica lógicamente
por A ⊨ B, si se cumple que B es verdadera siempre que A lo sea
Sea A y B dos afirmaciones lógicas. Diremos que A equivale lógicamente a B, y lo denotaremos
Equivale lógicamente
por A ≡ B se tiene que A ⊨ B y viceversa, B ⊨ A

Enunciado Sea A la afirmación “x > 4” y B la afirmación “x > 3”

Solución A⊨ByB⊭A
Explicación A implica lógicamente B ya que, si un valor es mayor que 4 también es mayor que 3, sin embargo, B no
implica lógicamente A porque tomando x = 4 se tiene que B es verdadero (4 > 3) pero A no lo es (A ≯ 4)

Enunciado Sea A la afirmación “x = y” y B la afirmación “x – y = 0”

Solución A≡B
Explicación Si se parte de la suposición A, al despejar la ecuación se obtiene B y viceversa

Enunciado Sea A la afirmación “∀x, p(x)” y B la afirmación “∃x: p(x)”

Solución A ⊨ B y B ⊭ A entonces A ≢ B
Explicación La afirmación A dice que para cualquier “x” del universo se cumple el predicado, como la “x” está
cuantificada para cualquier caso particular el predicado se cumplirá.
La afirmación B dice que existe una “x” que cumple el predicado, sin embargo, determinar una “x” que lo
cumpla no implica que todas las “x” lo cumplan.

Enunciado Consideremos A “∀x, y, x + y > 0” y B “∀x, y, x · y < 0”

Solución A ⊭ B y B ⊭ A entonces A ≢ B
Explicación El enunciado A dice que para todo par de números de un universo la suma de los dos números siempre es
positiva.
El enunciado B dice que para todo par de números de un universo la multiplicación de los dos números
siempre es negativa.

Página 5 de 6
Página 6 de 6