1.
Capítulo 1
Lógica proposicional
1.1 Lógica
La lógica es la ciencia o disciplina que estudia las formas correctas de razonar. En otras palabras,
analiza cómo pensamos y cómo sacar conclusiones válidas a partir de ciertas ideas o enunciados.
¿Qué es un silogismo?
Es un razonamiento que parte de dos premisas (una general y una particular) y termina en una
conclusión lógica.
Estructura típica:
1. Premisa mayor
2. Premisa menor
Conclusión
■ Ejemplo 1.1 Animales
1. Todos los gatos son mamíferos.
2. Pelusa es un gato.
Conclusión: Pelusa es un mamífero.
■ Ejemplo 1.2 Escuela
1. Todos los alumnos del colegio usan uniforme.
2. Carla es alumna del colegio.
Conclusión: Carla usa uniforme.
■ Ejemplo 1.3 Matemáticas
1. Todos los números pares son divisibles por 2.
6 Chapter 1. Capítulo 1
2. El número 8 es par.
Conclusión: El número 8 es divisible por 2.
■ Ejemplo 1.4 Profesiones
1. Todos los médicos han estudiado medicina.
2. Luis es médico.
Conclusión: Luis ha estudiado medicina.
■ Ejemplo 1.5 Frutas
1. Todas las manzanas son frutas.
2. Esta roja es una manzana.
Conclusión: Esta roja es una fruta.
La lógica busca la verdad a través del pensamiento correcto. Cuyo fin es conducirnos a un hábil
manejo del lenguaje matemático, y al empleo de métodos eficaces de razonamiento.
Hoy en día, la lógica no solo sirve para pensar bien, sino que es una herramienta clave en
tecnología, ciencia, educación, derecho y vida diaria.
Definición 1.1 Un enunciado es toda frase u oración. Algunos enunciados son órdenes, admiraciones
e interrogaciones; otros son afirmaciones o negaciones.
■ Ejemplo 1.6 Enunciados
1. "Lima es la capital del Perú." (Verdadero)
2. "2 + 2 = 5." (Falso)
3. "Hoy es lunes." (Depende del día, pero es un enunciado lógico)
■ Ejemplo 1.7 Enunciados
1. ¿Qué hora es?
2. 5>9
3. ¡ Viva el Perú ¡
4. 6+2=8
Definición 1.2 Un enunciado abierto es una expresión que contiene variables y no tienen la
propiedad de ser verdadera o falsa.
■ Ejemplo 1.8 Enunciado abierto
x < 10, es un enunciado abierto, porque no podemos afirmar si es verdadero o falso, esto solo tomara
el valor de verdad o falsedad cuando este definido el valor numerico de la variable x. Esto es,
1. Para x = 5, 5 < 10 es verdadero.
2. Para x = 13, 13 < 10 es falso.
1.2 Proposición lógica
Definición 1.3 Una proposición lógica es un enunciado que puede ser verdadero (V ) o falso (F),
pero no ambos a la vez y sin ambigüedad. La notación para una proposición sera simbolizada
mediante letras minúsculas del alfabeto como: p, q, r, s, · · · , etc.
1.2 Proposición lógica 7
Nota 1.1 El valor de verdad de una proposición es dado por la veracidad o falsedad de esta.
■ Ejemplo 1.9 Proposiciones verdaderas
1. El agua hierve a 100◦C a nivel del mar.
2. 5 + 3 = 8.
3. Lima es la capital del Perú.
■ Ejemplo 1.10 Proposiciones falsas
1. El sol gira alrededor de la Tierra.
2. 5 es un número par.
3. Arequipa está en México.
■ Ejemplo 1.11 Frases que NO son proposiciones
1. ¡Abre la puerta! (Orden)
2. ¿Qué hora es? (Pregunta)
3. Ojalá llueva mañana (Deseo)
Clases de Proposiciones
Definición 1.4 Una proposición simple o atómica es aquella que carece de enlace lógico. Es como
una frase corta y directa que afirma o niega algo.
■ Ejemplo 1.12 Proposiciones simples
p: El cielo es azul.
q: 5 es menor que 8.
r: Los perros pueden volar.
s: Francia está en América del Sur.
Definición 1.5 Una proposición compuesta o molecular es aquella que esta compuesta de dos o
más proposiciones simples enlazadas por conectivos lógicos.
■ Ejemplo 1.13 Proposiciones compuestas
p: Estudio y apruebo el examen. (Conjunción (∧))
q: Llueve o hace sol. (Disyunción (∨))
r: No es lunes. (Negación (∼))
s: Si estudio, entonces apruebo. (Condicional (→))
t: Hoy es feriado si y solo si no hay clases. (Bicondicional (↔))
■Ejemplo 1.14 Proposición compuesta
Marco está en Lima y está estudiando.
p: Marco está en Lima.
q: Marco está estudiando.
■ Ejemplo 1.15 Proposiciones compuestas
1. |Llueve y hace
{z } |{z} | {z frio}, simbolizando: p ∧ q
mucho
p ∧ q
2. Si x| es un {z
cuadrado} |entonces
{z } no es un triángulo y tiene 4 lados}, simbolizando: p →∼ q∧r
| {z } |{z} | {z
p → ∼q ∧ r
3. Si |{z}
no resuelves este ejercicio entonces es falso que hayas estudiado y te guste matemáticas,
| {z } | {z } | {z } |{z} | {z }
negacin p → q ∧ r
simbolizando: ∼ p →∼ (q ∧ r)
8 Chapter 1. Capítulo 1
4. No es el caso que si 2| +{z
5 = 7} |entonces ̸= 6, simbolizando: ∼ (p → q)
{z } 5| {z
| {z } }
negacin p → q
1.3 Conectivos lógicos
Negación ∼p
Éste es un conectivo que sólo afecta una proposición. Refleja el sentido de “no”, “no es cierto que” o
“es falso que” del lenguaje ordinario. Vamos a representarla con la expresión “∼”. Representa la
inversión del valor de verdad de una proposición.
p ∼p
V F
F V
■ Ejemplo 1.16 Negación
Sea p = "Hoy es lunes”. Entonces
∼ p significa: “Hoy no es lunes”, o “Es falso que hoy es lunes”.
Disyunción p∨q
Es la proposición compuesta que resulta de conectar dos proposiciones, p y q, mediante el conectivo
∨. Esta proposición compuesta se denota por p ∨ q y se lee: p o q.
Palabras usuales:
· · · o · · · , · · · salvo que · · · , · · · ecepto que · · · , etc.
p q p∨q
V V V
V F V
F V V
F F F
Conjunción p∧q
Es la proposición compuesta que resulta de conectar dos proposiciones, p y q, mediante el conectivo
∧. Esta proposición compuesta se denota por p ∧ q y se lee: p y q.
Palabras usuales:
· · · y · · · , · · · además · · · , · · · también · · · , · · · sin embargo · · · , · · · no obstante · · · , · · · tal como · · · , etc.
p q p∧q
V V V
V F F
F V F
F F F
1.3 Conectivos lógicos 9
Condicional o implicación p→q
Es la proposición compuesta que resulta de conectar dos proposiciones, p y q, mediante el conectivo
→. Esta proposición compuesta se denota por p → q y se lee: p implica q. A la proposición p se le
denomina antecedente y a q consecuente.
Palabras usuales:
· · · por consiguiente · · · , · · · de modo que · · · , · · · por lo tanto · · · , · · · en consecuencia · · · ,
· · · luego · · · , · · · dado que · · · , etc.
p q p→q
V V V
V F F
F V V
F F V
■Ejemplo 1.17 Condicional o implicación
"Si estudias entonces apruebas"
p: estudias.
q: apruebas.
Se simboliza: p → p.
Bicondicional o doble implicación p↔q
Es la proposición compuesta que resulta de conectar dos proposiciones, p y q, mediante el conectivo
↔. Esta proposición compuesta se denota por p ↔ q y se lee: p si y solo si q.
Palabras usuales:
· · · cuando y sólo cuando · · · , · · · entonces y sólo entonces , etc.
p q p↔q
V V V
V F F
F V F
F F V
■Ejemplo 1.18 Bicondicional o doble implicación
"Serás un excelente profesional si y sólo si te esfuerzas en tus estudios"
p: Serás un excelente profesional.
q: Te esfuerzas en tus estudios.
Se simboliza: p ↔ p.
10 Chapter 1. Capítulo 1
Disyunción exclusiva o disyunción fuerte p△q
Es la proposición compuesta que resulta de conectar dos proposiciones, p y q, mediante el conectivo
△. Esta proposición compuesta se denota por p △ q y se lee: o es p o es q.
p q p△q
V V F
V F V
F V V
F F F
■Ejemplo 1.19 Disyunción exclusiva o disyunción fuerte
"O bien Sergio estudia o bien mira televisión"
p: Sergio estudia.
q: Sergio mira televisión.
Se simboliza: p △ q.
■Ejemplo 1.20 Disyunción exclusiva o disyunción fuerte
"Chavin era peruano o italiano"
p: Chavin era peruano.
q: Chavin era italiano.
Se simboliza: p △ q.
Nota 1.2 Una tabla de verdad muestra todos los posibles valores lógicos (V o F) de una proposición
compuesta, dependiendo de los valores de sus partes.
Con eso podemos clasificarla en tres tipos:
1. Tautología: Es una proposición qu es siempre verdadera, sin importar los valores de sus
partes.
2. Contingencia: Es una proposición que es verdadera en algunos casos y falsa en otros.
3. Contradicción (o antitautología): Es una proposición que es siempre falsa, sin importar los
valores de sus partes.
Nota 1.3
• Se define implicación lógica a toda condicional "p =⇒ q" que es una tautología.
• Se define equivalencia lógica a toda bicondicional "p ⇐⇒ q" que es una tautología.
• Dos proposiciones son equivalentes (o lógicamente equivalentes) si sus tablas de verdad son
idénticas.
1.4 Función Proposicional
Una función proposicional (también llamada predicado) es una expresión lógica que contiene una o
más variables y que se convierte en una proposición (verdadera o falsa) cuando se reemplazan esas
variables por valores concretos.
Definición 1.6 Una función proposicional es algo de la forma:
P(x),
donde:
1.5 Cuantificadores 11
• P es una proposición incompleta (aún no sabemos si es verdadera o falsa).
• x es una variable.
Cuando se le asigna un valor a x, la función proposicional se convierte en una proposición lógica
que sí puede tener un valor de verdad (verdadera o falsa).
■ Ejemplo 1.21
P(x) : x > 3
Esto no es una proposición completa porque no sabemos qué es x. Pero si decimos:
• P(5) : 5 > 3 (Verdadera)
• P(2) : 2 > 3 (Falsa)
■ Ejemplo 1.22
Q(x, y) : x + y = 10
No es una proposición completa hasta que sepamos qué son x e y. Por ejemplo:
• Q(3, 7) (Verdadera)
• Q(4, 5) (Falsa)
1.5 Cuantificadores
Un cuantificador es un operador que indica cuántos elementos de un dominio cumplen una cierta
propiedad o característica dada.
Los dos cuantificadores más comunes son:
1.5.1 Cuantificador universal (∀)
El cuantificador universal es un símbolo usado principalmente en lógica matemática para expresar
que una afirmación es verdadera para todos los elementos de un conjunto o dominio.
■ Ejemplo 1.23
∀x, x > 0 −→ x2 > 0
Se lee: "Para todo x mayor que 0, su cuadrado es mayor que 0".
El cuantificador universal se representa con el símbolo ∀, que se lee como “para todo” o “para
cada”.
Forma general:
∀x P(x)
Se lee: “Para todo x, se cumple P(x)”, donde P(x) es una propiedad o proposición sobre x.
1.5.2 Cuantificador existencial (∃)
El cuantificador existencial se usa en lógica para decir que existe al menos un elemento de un
conjunto que cumple una determinada propiedad.
Se representa con el símbolo ∃, que se lee como “existe” o “hay al menos un”.
■ Ejemplo 1.24
∃x, x2 = 4
Se lee: "Existe al menos un x tal que x al cuadrado es 4".
12 Chapter 1. Capítulo 1
Forma general:
∃x, P(x)
Se lee: “Existe un x tal que se cumple P(x)”, donde P(x) es una propiedad o proposición sobre x.
1.5.3 Negación de una proposición con cuantificadores
Proposición Negación de la Proposición
∀x ∈ D, p(x) ∼ {∀x ∈ D, p(x)} ≡ ∃x ∈ D/ ∼ p(x)
∃x ∈ D, p(x) ∼ {∃x ∈ D/p(x)} ≡ ∀x ∈ D/ ∼ p(x)
■Ejemplo 1.25 Negar un cuantificador universal
Proposición original:
∀x ∈ R, x2 ≥ 0
(“Para todo número real, su cuadrado es mayor o igual que 0”)
Negación:
∃x ∈ R, , x2 < 0
(“Existe al menos un número real cuyo cuadrado es menor que 0”)
■ Ejemplo 1.26 Negar un cuantificador existencial
Proposición original:
∃x ∈ N, x < 0
(“Existe un número natural menor que 0”)
Negación:
∀x ∈ N, , x ≥ 0
(“Todos los números naturales son mayores o iguales que 0”)
