Tomo I

1a Edición

Yordan Aguilar Ruiz

Ing. Civil Industrial
ss

Tomo I

Álgebra e
Introducción al
Cálculo

Yordan Aguilar Ruiz

Ing. Civil Industrial
“Las matemáticas son un lugar donde puedes hacer cosas
que no puedes hacer en el mundo real”
-Marcus du Sautoy
ss

Capítulo 1
Lógica y Teoría de Conjuntos
Contenido:
1.1 Proposiciones Lógicas
1.2 Conectivos Lógicos
1.3 Leyes Lógicas
1.4 Circuitos Lógicos
1.5 Función Proposicional
1.6 Teoría de Conjuntos
1.7 Operatoria Conjuntista

Presentación al capítulo
Comúnmente nos relacionamos mediante frases u oraciones que presentan un cierto
grado de verdad o falsedad, en matemática estas frases se conocen como
proposiciones y son el pilar fundamental de la lógica simbólica; en este capítulo
aprenderemos a analizar la veracidad de las proposiciones, operaremos con
conectivos lógicos, analizaremos leyes especiales de las proposiciones y las
utilizaremos para resolver circuitos simbólicos, analizaremos las funciones
proposicionales y sus cuantificadores, nos adentraremos al mundo de los conjuntos,
su notación, su operatoria y terminaremos analizando una paradoja conjuntista muy
importante llamada paradoja de Russell.
1.1 Proposiciones Lógicas

La Lógica Simbólica es una rama del conocimiento

humano que se basa en reglas y métodos inductivos para
examinar si un argumento es válido o no, la génesis de esta
área está en el análisis de enunciados especiales llamados
proposiciones.

Definición 1.1.1 Todas las proposiciones

Una Proposición es un enunciado que presenta un valor de son enunciados, pero no
verdad. todos los enunciados son
proposiciones.
Definición 1.1.2
La veracidad o falsedad de una proposición se llama Valor
de Verdad.

Ejemplo No son proposiciones:

𝐿𝑎 𝑒𝑥𝑝𝑟𝑒𝑠𝑖ó𝑛 “𝐿𝑜𝑠 𝑔𝑎𝑡𝑜𝑠 𝑣𝑢𝑒𝑙𝑎𝑛” 𝑺𝑰 𝑒𝑠 𝑢𝑛𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑦𝑎 -Interrogativos
𝑞𝑢𝑒 𝑒𝑠 𝑢𝑛𝑎 𝑓𝑟𝑎𝑠𝑒 𝑞𝑢𝑒 𝑝𝑢𝑒𝑑𝑒 𝑠𝑒𝑟 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎 𝑜 𝑓𝑎𝑙𝑠𝑎. -Exclamativos
𝐿𝑎 𝑒𝑥𝑝𝑟𝑒𝑠𝑖ó𝑛 “¡ 𝑎𝑏𝑟𝑒 𝑙𝑎 𝑣𝑒𝑛𝑡𝑎𝑛𝑎! ” 𝑵𝑶 𝑒𝑠 𝑢𝑛𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 -Imperativos
𝑝𝑢𝑒𝑠𝑡𝑜 𝑞𝑢𝑒 𝑛𝑜 𝑝𝑢𝑒𝑑𝑒 𝑎𝑑𝑞𝑢𝑖𝑟𝑖𝑟 𝑢𝑛 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑. -Desiderativos (deseos)
-Relativos
Generalmente las proposiciones se representan con letras
-Ecuaciones
minúsculas del alfabeto que van desde la “𝑝” en adelante.
Ejemplo
𝑝 = "𝐸𝑙 𝑔𝑎𝑡𝑜 𝑣𝑢𝑒𝑙𝑎" (𝑭)
𝑞 = "𝑃𝑎𝑟í𝑠 𝑒𝑠 𝑙𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒 𝐹𝑟𝑎𝑛𝑐𝑖𝑎" (𝑽)
𝑟 = "𝐸𝑙 𝑎ñ𝑜 𝑡𝑖𝑒𝑛𝑒 12 𝑚𝑒𝑠𝑒𝑠" (𝑽)

Según la cantidad de variables que presente una

proposición se pueden clasificar como: Simple o Compuesta.

Definición 1.1.3
Una Proposición Simple o Atómica es un enunciado
básico que presenta una sola variable.
 ss
Los conectores más usados
en proposiciones compuestas
son:
-Negación
-Conjunción
-Disyunción
-Disyunción Exclusiva
-Condicional
-Bicondicional
Una paradoja es una
proposición especial que
no puede ser ni verdadera
ni falsa.
Toda proposición que tenga
variables o pronombres son
proposiciones abiertas:
- "𝑥 + 2 = 9"
- “Él está enojado”
- “Ella no sabe jugar”
Definición 1.1.4
Una Proposición Compuesta o Molecular es un enunciado
mixto que está formado por la unión de varias
proposiciones simples mediante conectores especiales.
Ejemplo.
𝑝 = "𝐸𝑙 𝑔𝑎𝑡𝑜 𝑣𝑢𝑒𝑙𝑎" 𝑃. 𝑆𝑖𝑚𝑝𝑙𝑒
𝑞 = "15 + 3 = 18"
𝑟 = "3 + 2 = 1 𝑦 𝑙𝑜𝑠 𝑝𝑒𝑟𝑟𝑜𝑠 𝑙𝑎𝑑𝑟𝑎𝑛"
𝑃. 𝐶𝑜𝑚𝑝𝑢𝑒𝑠𝑡𝑎
𝑠 = "𝑆𝑖 ℎ𝑎𝑔𝑜 𝑙𝑎 𝑡𝑎𝑟𝑒𝑎 𝑣𝑜𝑦 𝑎𝑙 𝑐𝑖𝑛𝑒"
Según la forma que tenga la proposición esta puede ser
clasificada como: Cerrada o Abierta.
Definición 1.1.5
Una Proposición Cerrada es un enunciado que no presenta
variables y, por consiguiente, tiene un valor de verdad
definido.
Definición 1.1.6
Una Proposición Abierta o función proposicional es un
enunciado que contiene una o más variables que al ser
reemplazadas por un valor determinado se transforman en
proposición.
Ejemplo.
𝑝 = "5 es un número impar" 𝑃. 𝐶𝑒𝑟𝑟𝑎𝑑𝑎
𝑞 = "𝑃𝑎𝑟í𝑠 𝑒𝑠𝑡á 𝑒𝑛 𝑖𝑛𝑔𝑙𝑎𝑡𝑒𝑟𝑟𝑎"
𝑟 = "𝑥 + 2 = 3" 𝑃. 𝐴𝑏𝑖𝑒𝑟𝑡𝑎
𝑠 = "É𝑙 𝑒𝑠𝑡á 𝑠𝑒𝑛𝑡𝑎𝑑𝑜"
Ejercicios
Dados los siguientes enunciados analizar si son o no proposiciones, en caso de serlo
calcular su valor de verdad y analizar si son proposiciones abiertas o cerradas.
1.- La matemática es importante. 9.- Que aburrido estudiar.
2.- ¿En tu casa o en la mía? 10.- ¿Qué hora es?
3.- Quiero entrar a la Universidad. 11.- Cierra la puerta.
4.- 3 + 6 = 7 12.- Los múltiplos de 3 son infinitos.
5.- 𝑥 + 5 = 9 13.- Debes ordenar tu pieza.
6.- Si 7 es primo entonces 4 es compuesto. 14.- Mi papá es alto.
7.- No es verdad que el año tiene 12 meses.
8.- ¿Las mesas son cuadradas o triangulares?

Dadas las siguientes proposiciones analice si son simples o compuestas, en cada caso
defina cada proposición por separado.
1.- Si 2 + 2 = 9 entonces iré al cine
2.- Me gusta el café, el helado y las galletas.
3.- Si ordeno mi pieza y paseo al perro, entonces voy al cine.
4.- No es verdad que: me gusta el helado de fresa y el de vainilla.
5.- Si ayer fue martes y mañana es jueves, entonces hoy no es miércoles.
6.- 3 + 5 = 9

1.2 Conectivos Lógicos

Es posible generar proposiciones compuestas mediante la

operación de proposiciones simples, para poder hacerlo se
requiere utilizar conectores especiales llamados Conectivos
Lógicos.

Definición 1.2.1
Un Conectivo Lógico es un símbolo que permite conectar
u operar proposiciones simples para modificarlas y crear
nuevos enunciados más complejos.
 ss

Los principales conectivos lógicos son:

Los conectivos ocupan los Conectivo Operación Lógica
siguientes símbolos para su Negación Permite negar un enunciado
representación:
Conjunción Une enunciados con un "𝑌"
-Negación: −, ~, ¬
Disyunción Une enunciados con un "𝑂"
-Conjunción: ∧
-Disyunción: ∨ Une enunciados con un "𝑂"
Disyunción Exclusiva
Excluyente
-Disyunción Exclusiva: ∨
-Condicional: → Condicional Condiciona dos enunciados
-Bicondicional: ⟷
Bicondicional Bicondiciona dos enunciados

Definición 1.2.2
Para saber la cantidad de filas
de una tabla de verdad se Una Tabla de Verdad es un sistema que permite ver los
resuelve la ecuación:
valores que puede tomar una proposición según las
diferentes combinaciones de valores de verdad que tomen
2𝑛
Donde 𝑛 es la cantidad de cada una de las proposiciones que la conforman.
proposiciones simples. Ejemplo. 𝒑 𝒒 𝒓
V V V
𝒑 𝒒 V V F
V V V F V
V F V F F
F V F V V
F F F V F
F F V
F F F

En el lenguaje común la Definición 1.2.3

negación se lee:
El conectivo Negación (∼) es un conectivo lógico que
permite negar un enunciado cambiando su valor de verdad.
-No, …
-No es verdad que, … Ejemplo. Tabla de verdad
-Es falso que, …
𝑆𝑖: 𝑝 ∼𝑝
-No ocurre que, …
𝑝 = "𝐴𝑦𝑒𝑟 𝑓𝑢𝑖 𝑎𝑙 𝑐𝑖𝑛𝑒"
-No es el caso que, … V F
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
∼ 𝑝 = "𝐴𝑦𝑒𝑟 𝑛𝑜 𝑓𝑢𝑖 𝑎𝑙 𝑐𝑖𝑛𝑒" F V
 En el lenguaje común la
Definición 1.2.4 conjunción se lee:
El conectivo Conjunción (∧) es un conectivo lógico que
permite conectar dos proposiciones mediante un "𝑦" para -… y…
formar una proposición compuesta. -… pero …
-…, sin embargo …
Ejemplo. -… además …
𝑆𝑒𝑎: -… no obstante …
𝑝 = "𝐴𝑦𝑒𝑟 𝑓𝑢𝑖 𝑎𝑙 𝑐𝑖𝑛𝑒" 𝑞 = "𝐶𝑜𝑚í 𝑝𝑎𝑙𝑜𝑚𝑖𝑡𝑎𝑠" -… aunque …
𝑟 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛" 𝑠 = "𝐸𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎"
Tabla de verdad
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
𝑝 ∧ 𝑞 = "𝐴𝑦𝑒𝑟 𝑓𝑢𝑖 𝑎𝑙 𝑐𝑖𝑛𝑒 𝑦 𝑐𝑜𝑚í 𝑝𝑎𝑙𝑜𝑚𝑖𝑡𝑎𝑠" 𝑝 𝑞 𝑝∧𝑞
𝑝 ∧ 𝑠 = "𝐴𝑦𝑒𝑟 𝑓𝑢𝑖 𝑎𝑙 𝑐𝑖𝑛𝑒 𝑝𝑒𝑟𝑜 𝑒𝑠𝑐𝑢𝑐ℎé 𝑚ú𝑠𝑖𝑐𝑎" V V V
𝑟 ∧ 𝑠 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛 𝑎𝑢𝑛𝑞𝑢𝑒 𝑒𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎" V F F
𝑞 ∧ 𝑠 = "𝐶𝑜𝑚𝑜 𝑝𝑎𝑙𝑜𝑚𝑖𝑡𝑎𝑠 𝑦 𝑒𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎" F V F
F F F

En el lenguaje común la
Definición 1.2.5
Disyunción se lee:
El conectivo Disyunción (∨) es un conectivo lógico que
permite conectar dos proposiciones mediante un "𝑂" para -… o…
formar una proposición compuesta.
-o… o …o ambas cosas.
Ejemplo. -como mínimo…o…

𝑆𝑒𝑎:
Tabla de verdad
𝑝 = "𝐼𝑟é 𝑎𝑙 𝑐𝑖𝑛𝑒" 𝑞 = "𝐶𝑜𝑚𝑒𝑟é 𝑝𝑎𝑙𝑜𝑚𝑖𝑡𝑎𝑠"
𝑟 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛" 𝑠 = "𝐸𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎" 𝑝 𝑞 𝑝∨𝑞
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠: V V V
𝑝 ∨ 𝑞 = "𝐼𝑟é 𝑎𝑙 𝑐𝑖𝑛𝑒 𝑜 𝑐𝑜𝑚𝑒𝑟é 𝑝𝑎𝑙𝑜𝑚𝑖𝑡𝑎𝑠" V F V
𝑝 ∨ 𝑠 = "𝐼𝑟é 𝑎𝑙 𝑐𝑖𝑛𝑒 𝑜 𝑒𝑠𝑐𝑢𝑐ℎé 𝑚ú𝑠𝑖𝑐𝑎" F V V
𝑟 ∨ 𝑠 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛 𝑜 𝑒𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎"
F F F
𝑞 ∨ 𝑠 = "𝐶𝑜𝑚𝑒𝑟é 𝑝𝑎𝑙𝑜𝑚𝑖𝑡𝑎𝑠 𝑜 𝑒𝑠𝑐𝑢𝑐ℎ𝑎𝑟é 𝑚ú𝑠𝑖𝑐𝑎"

La disyunción es un conectivo que permite analizar la

posibilidad de que ocurra un enunciado o el otro o los dos,
pero existe la posibilidad de que haya una condición donde
solo pueda ocurrir un enunciado u otro, esta condición se
llama disyunción exclusiva y no admite la posibilidad de que
dos eventos ocurran simultáneamente.
 ss

En el lenguaje común la
Disyunción Exclusiva se lee:
-o… o…
-…o… pero no ambos
Definición 1.2.6
El conectivo Disyunción Exclusivo (∨) es un conectivo
lógico que permite conectar dos proposiciones mediante un
"𝑂" condicional para formar una proposición compuesta.

Ejemplo.
Tabla de verdad
𝑆𝑒𝑎:
𝑝 𝑞 𝑝∨𝑞 𝑟 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛" 𝑦 𝑠 = "𝐸𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎"
V V F 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
V F V 𝑟 ∨ 𝑠 = "𝑂 𝑚𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛 𝑜 𝑒𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎"
F V V
F F F
Definición 1.2.7
En el lenguaje común la
Implicación se lee: El conectivo Condicional (→) es un conectivo lógico que
permite conectar dos proposiciones mediante un
-si…entonces… "𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠" para formar una proposición compuesta.
-…porque, … Ejemplo.
-…puesto que, …
-…cuando… 𝑆𝑒𝑎:
-…cada vez que… 𝑟 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛" 𝑦 𝑠 = "𝐸𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎"
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
𝑟 → 𝑠 = "𝑆𝑖 𝑚𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠𝑐𝑢𝑐ℎ𝑎𝑟𝑒 𝑚ú𝑠𝑖𝑐𝑎"
Tabla de verdad
En la proposición 𝑝 → 𝑞, "𝑝" se llama Antecedente y "𝑞"
𝑝 𝑞 𝑝→𝑞 consecuente.
V V V
Ejemplo.
V F F
F V V 𝑆𝑒𝑎:
F F V 𝑟 → 𝑠 = "𝑆𝑖 𝑚𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠𝑐𝑢𝑐ℎ𝑎𝑟𝑒 𝑚ú𝑠𝑖𝑐𝑎"
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
𝑟 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛" 𝑦 𝑠 = "𝐸𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎"
Y, además:
𝑟 = "𝑀𝑖𝑟𝑜 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛" → Antecedente
𝑠 = "𝐸𝑠𝑐𝑢𝑐ℎ𝑜 𝑚ú𝑠𝑖𝑐𝑎" → Consecuente
 Definición 1.2.8 En el lenguaje común el
bicondicional se lee:
El conectivo Bicondicional (⟷) es un conectivo lógico
que permite conectar dos proposiciones mediante un
"𝑆𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖" para formar una proposición compuesta. -…si y solo si…
-…Condición suficiente de…
Ejemplo.
Tabla de verdad
𝑆𝑒𝑎:
𝑝 = "𝑥 + 1 = 5" y 𝑞 = "𝑥 = 4" 𝑝 𝑞 𝑝⟷𝑞
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠: V V V
𝑝 ⟷ 𝑞 = "𝑥 + 1 = 5 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑥 = 4" V F F
F V F
F F V
Definición 1.2.9
Teniendo los conectivos lógicos es posible operar
proposiciones mediante tablas de verdad para obtener otras
proposiciones más complejas.

Ejemplo.
𝑅𝑒𝑠𝑜𝑙𝑣𝑒𝑟 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛: (𝑝 ∧ 𝑞) → −𝑞
𝒑 𝒒 −𝒒 𝒑∧𝒒 (𝒑 ∧ 𝒒) → −𝒒 Las tablas de verdad que
V V F V F presentan valores de verdad
V F V F V falsos y verdaderos en sus
F V F F V
F F V F V combinaciones se llaman
tablas de contingencia.
𝑆𝑖 𝑙𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛 (𝑝 ∧ −𝑞) → (𝑟 → −𝑠) 𝑒𝑠 𝑓𝑎𝑙𝑠𝑎, ℎ𝑎𝑙𝑙𝑎𝑟
𝑒𝑙 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑 𝑑𝑒 𝑝, 𝑞, 𝑟, 𝑠. Dos proposiciones que tengan
Para que (𝑝 ∧ −𝑞) → (𝑟 → −𝑠) sea falso, entonces: la misma tabla de verdad se
(𝑝 ∧ −𝑞) = 𝑣 dicen equivalentes (≡)
(𝑟 → −𝑠) = 𝑓
En consecuencia, 𝑝 = 𝑣, −𝑞 = 𝑣, 𝑟 = 𝑣, −𝑠 = 𝑓.
Por lo tanto, el valor de verdad de 𝑝, 𝑞, 𝑟, 𝑠 𝑒𝑠:
𝑝=𝑣
𝑞=𝑓
𝑟=𝑣
𝑠=𝑣
 ss

Definición 1.2.10
Cuando todos los valores de verdad de una proposición, sin
importar las combinaciones, son verdaderos entonces la
proposición se llama Tautología y se denota por 𝜏

Ejemplo.
𝑅𝑒𝑠𝑜𝑙𝑣𝑒𝑟 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛: [(𝑝 → 𝑞) ∧ 𝑝] → 𝑞
𝒑 𝒒 𝒑→𝒒 (𝒑 → 𝒒) ∧ 𝒑 [(𝒑 → 𝒒) ∧ 𝒑] → 𝒒
V V V V V
Podemos observar que la V F F F V
proposición ൣ൫𝑝 → 𝑞൯ ∧ 𝑝൧ → 𝑞 F V V F V
es una tautología. F F V F V

Definición 1.2.11
Cuando todos los valores de verdad de una proposición, sin
importar las combinaciones, son falsos entonces la
proposición se llama Contradicción y se denota por # 𝑜 𝛼

Ejemplo.
𝑅𝑒𝑠𝑜𝑙𝑣𝑒𝑟 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛: (𝑝 ∨ 𝑞) ⟷ ~(𝑝 ∨ 𝑞)
𝒑 𝒒 𝒑∨𝒒 ~(𝒑 ∨ 𝒒) (𝒑 ∨ 𝒒) ⟷ ~(𝒑 ∨ 𝒒)
Podemos observar que la
V V V F F
proposición (𝑝 ∨ 𝑞) ⟷ ~(𝑝 ∨ 𝑞) V F V F F
es una contradicción. F V V F F
F F F V F

Para formalizar proposiciones
de lenguaje natural a simbólico
primero se definen las
proposiciones simples y luego
se formaliza la operación.
Definición 1.2.12
Se define la Formalización Proposicional como aquel
proceso mediante el cual el lenguaje natural es
transformado en lenguaje simbólico.
Ejemplo.
𝑇𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑟 𝑙𝑎 𝑓𝑟𝑎𝑠𝑒 "𝑠𝑖 𝑛𝑜 𝑜𝑟𝑑𝑒𝑛𝑜 𝑚𝑖 𝑝𝑖𝑒𝑧𝑎 𝑝𝑒𝑟𝑜 𝑠𝑖 𝑜𝑟𝑑𝑒𝑛𝑜
𝑙𝑎 𝑐𝑜𝑐𝑖𝑛𝑎, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑛𝑜 𝑣𝑜𝑦 𝑎𝑙 𝑐𝑖𝑛𝑒" 𝑎 𝑙𝑒𝑛𝑔𝑢𝑎𝑗𝑒 𝑠𝑖𝑚𝑏ó𝑙𝑖𝑐𝑜.
𝑝 = "𝑜𝑟𝑑𝑒𝑛𝑜 𝑚𝑖 𝑝𝑖𝑒𝑧𝑎"
𝑞 = "𝑜𝑟𝑑𝑒𝑛𝑜 𝑙𝑎 𝑐𝑜𝑐𝑖𝑛𝑎" (−𝒑 ∧ 𝒒) → −𝒓
𝑟 = "𝑣𝑜𝑦 𝑎𝑙 𝑐𝑖𝑛𝑒"
Ejercicios
Resuelva las siguientes proposiciones utilizando tablas de verdad, en cada caso analice
si la proposición es una contingencia, tautología o contradicción.
1.- (𝑝 ∧ ~𝑟) ∨ (𝑞 ∧ ~𝑟) 8.- (𝑞 →∼ 𝑝) ⟷ (𝑝 → 𝑝)
2.- ~𝑟 → (~𝑝 ∨ ~𝑞) 9.- ∼ (𝑝 ⟷ 𝑞) ⟷ 𝑟
3.- (𝑝 ∧ 𝑞) ⟷ (~𝑟 → 𝑟) 10.- 𝑞 ⟷ (𝑝 ∨ 𝑠)
4.- (~𝑝 → 𝑞) ∧ (𝑝 →∼ 𝑞) 11.- (𝑝 ∧ 𝑝) → (𝑝 ∨ 𝑝)
5.- (𝑝 → 𝑞) → 𝑟 12.- ∼ 𝑞 →∼ [(𝑟 ∧ 𝑠) →∼ 𝑡 ]
6.- ∼ (𝑝 ∧ 𝑞) → (𝑠 ∨ 𝑡 )
7.- ∼ [(𝑝 ∨ 𝑞) ∧∼ 𝑟]

Resuelva las siguientes proposiciones teniendo en cuenta las restricciones dadas.

1.- 𝑝 = verdadero y 𝑞 = falso. [(∼ 𝑝 ∨ 𝑞) ∧ 𝑝] → (𝑞 → 𝑝)

2.- Sí (𝑝 ∧∼ 𝑞) → (𝑟 →∼ 𝑠) = falso. 𝑝= 𝑞= 𝑠= 𝑟=
3.- Sí (𝑝 →∼ 𝑞) ∨ (∼ 𝑟 → 𝑠) = falso. (∼ 𝑝 ∧∼ 𝑞) ∨∼ 𝑞
4.- Sí (𝑝 → 𝑞) ∨∼ 𝑟 =falso. [∼ 𝑝 ∨ (𝑞 ∨ 𝜏)] → {∼ 𝑝 → ൣ൫(𝑞 ∨∼ 𝜏) ∧ 𝛼൯൧}

Dadas las proposiciones p, q y r transformar de lenguaje simbólico a lenguaje natural.

𝑝 = "𝐻𝑎𝑐𝑒 𝑓𝑟í𝑜" 𝑞 = "𝐸𝑠𝑡á 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜" 𝑟 = "𝐿𝑙𝑒𝑣𝑎𝑟é 𝑐ℎ𝑎𝑞𝑢𝑒𝑡𝑎"

1.- (𝑝 ∧ 𝑞) → 𝑟 5.- [(∼ 𝑝 ∨∼ 𝑞) →∼ 𝑟] ∧ [(𝑝 ∨ 𝑞) → 𝑟]

2.- 𝑟 ⟷ (𝑝 ∧ 𝑞) 6.- (𝑝 → 𝑟) ∧ (∼ 𝑞 → 𝑟)
3.- (𝑝 ∨ 𝑞) → 𝑟 7.- (𝑟 ⟷ 𝑞) ∨ (⟷ 𝑞)
4.- (𝑞 ⟷ 𝑝) ∧ (𝑝 → 𝑟)

Transforme las siguientes oraciones a lenguaje simbólico:

1.- “𝐸𝑠 𝑓𝑎𝑙𝑠𝑜 𝑞𝑢𝑒 𝑠𝑖 𝑢𝑠𝑡𝑒𝑑 𝑣𝑒 𝑢𝑛 𝑔𝑎𝑡𝑜 𝑛𝑒𝑔𝑟𝑜 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑡𝑒𝑛𝑑𝑟á 𝑚𝑎𝑙𝑎 𝑠𝑢𝑒𝑟𝑡𝑒”
2.- “𝐸𝑟𝑒𝑠 𝑚ú𝑠𝑖𝑐𝑜 𝑜 𝑎𝑡𝑙é𝑡𝑖𝑐𝑜, 𝑝𝑒𝑟𝑜 𝑛𝑜 𝑒𝑟𝑒𝑠 𝑎𝑡𝑙é𝑡𝑖𝑐𝑜, 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑒𝑟𝑒𝑠 𝑚ú𝑠𝑖𝑐𝑜”
3.- “𝑆𝑖 2 + 2 = 4 𝑦 3 + 3 = 6, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑛𝑜 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑 𝑞𝑢𝑒 4 + 4 = 8 𝑜 5 + 5 = 10”
4.- “𝑁𝑜 𝑝𝑢𝑒𝑑𝑒 𝑠𝑒𝑟 𝑣𝑒𝑟𝑑𝑎𝑑 𝑞𝑢𝑒 𝑚𝑎ñ𝑎𝑛𝑎 𝑒𝑠 𝑚𝑖é𝑟𝑐𝑜𝑙𝑒𝑠 𝑜 𝑗𝑢𝑒𝑣𝑒𝑠 𝑠𝑖 ℎ𝑜𝑦 𝑒𝑠 𝑚𝑎𝑟𝑡𝑒𝑠”
5.- “𝑂 𝑐𝑜𝑚𝑝𝑟𝑎𝑠 𝑢𝑛 ℎ𝑒𝑙𝑎𝑑𝑜 𝑜 𝑢𝑛 𝑗𝑢𝑔𝑜 𝑝𝑒𝑟𝑜 𝑑𝑒𝑏𝑒𝑠 𝑒𝑠𝑐𝑜𝑗𝑒𝑟 𝑟á𝑝𝑖𝑑𝑜”
6.- “𝑆𝑖 𝑛𝑜 𝑒𝑥𝑖𝑠𝑡𝑖𝑒𝑟𝑎 𝑒𝑙 á𝑙𝑔𝑒𝑏𝑟𝑎, 𝑚𝑢𝑐ℎ𝑎𝑠 𝑐𝑜𝑠𝑎𝑠 𝑛𝑜 𝑒𝑥𝑖𝑠𝑡𝑖𝑟í𝑎𝑛”
 ss

1.3 Leyes Lógicas

Al operar proposiciones es posible encontrar ciertas

Es posible simplificar
proposiciones compuestas
utilizando las leyes lógicas, es
útil puesto que al utilizar las
propiedades la proposición se
mantiene equivalente, por lo
que su tabla de verdad no varía.
propiedades especiales que siempre se cumplen, estas
propiedades se conocen como leyes lógicas y son sumamente
útiles al momento de operar con proposiciones compuestas.
Definición 1.3.1
Una Ley Lógica es un esquema tautológico, es decir, es una
propiedad formalmente verdadera que siempre se cumple.
Las leyes lógicas pueden agruparse de la siguiente manera:
𝐼𝑛𝑣𝑜𝑙𝑢𝑐𝑖ó𝑛: 𝑝 = ~(~𝑝)

𝐼𝑑𝑒𝑚𝑝𝑜𝑡𝑒𝑛𝑐𝑖𝑎: 𝑝 ∨ 𝑝 ≡ 𝑝
𝑝∧𝑝 ≡𝑝

𝐶𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑎𝑠: 𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝
𝑝∨𝑞 ≡𝑞∨𝑝

𝐴𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎𝑠: (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)

𝐷𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑎𝑠: 𝑟 ∨ (𝑝 ∧ 𝑞) ≡ (𝑟 ∨ 𝑝) ∧ (𝑟 ∨ 𝑞)
𝑟 ∧ (𝑝 ∨ 𝑞) ≡ (𝑟 ∧ 𝑝) ∨ (𝑟 ∧ 𝑞)

𝐿𝑒𝑦𝑒𝑠 𝑑𝑒 𝑀𝑜𝑟𝑔𝑎𝑛: ∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞
∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞

𝐿𝑒𝑦𝑒𝑠 𝑑𝑒𝑙 𝐶𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙: 𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞

∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞

𝐿𝑒𝑦𝑒𝑠 𝑑𝑒𝑙 𝐵𝑖𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙: 𝑝 ⟷ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

∼ (𝑝 ⟷ 𝑞) ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)

𝐿𝑒𝑦𝑒𝑠 𝑑𝑒 𝑎𝑏𝑠𝑜𝑟𝑐𝑖ó𝑛: 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝 ∧ (∼ 𝑝 ∨ 𝑞 ) ≡ 𝑝 ∧ 𝑞
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑝 ∨ (∼ 𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
𝐿𝑒𝑦𝑒𝑠 𝑑𝑒 𝑇𝑟𝑎𝑛𝑠𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛: 𝑝 → 𝑞 ≡∼ 𝑞 →∼ 𝑝
𝑝 ⟷ 𝑞 ≡∼ 𝑞 ⟷∼ 𝑝

𝐿𝑒𝑦 𝑑𝑒 𝐸𝑥𝑝𝑜𝑟𝑡𝑎𝑐𝑖ó𝑛: (𝑝 ∧ 𝑞) → 𝑟 ≡ 𝑝 → (𝑞 → 𝑟)

𝐸𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑁𝑒𝑢𝑡𝑟𝑜: 𝑝 ∧ 𝛼 ≡ 𝛼
𝛼∨𝜏 ≡𝜏
𝑝∨𝜏 ≡𝜏
𝛼∧𝜏 ≡𝛼

𝑇𝑒𝑟𝑐𝑖𝑜 𝐸𝑥𝑐𝑙𝑢𝑖𝑑𝑜: 𝑝 ∨∼ 𝑝 ≡ 𝑣
𝑝 ∧∼ 𝑝 ≡ 𝑓

𝐹𝑜𝑟𝑚𝑎𝑠 𝑁𝑜𝑟𝑚𝑎𝑙𝑒𝑠:
𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛: 𝑣 ∧ 𝑣 ≡ 𝑣
𝑣∧𝑝≡𝑝
𝑓∧𝑝≡𝑓
𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛: 𝑓 ∨ 𝑓 ≡ 𝑓
𝑓∨𝑝≡𝑝
𝑣∨𝑝≡𝑣

Teniendo en cuenta estas reglas es posible simplificar

proposiciones para obtener otras equivalentes más simples
de analizar.
Ejemplo.
𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑟 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑒𝑥𝑝𝑟𝑒𝑠𝑖ó𝑛:
[(∼ 𝑝 ∧ 𝑞) → (𝑠 ∧∼ 𝑠)] ∧∼ 𝑞

Leyes que se han utilizado:

[(∼ 𝑝 ∧ 𝑞) → 𝑓] ∧∼ 𝑞
-Tercio excluido
[∼ (∼ 𝑝 ∧ 𝑞) ∨ 𝑓] ∧∼ 𝑞
-leyes del condicional
[(𝑝 ∨∼ 𝑞) ∨ 𝑓] ∧∼ 𝑞
-Leyes de Morgan
(𝑝 ∨∼ 𝑞) ∧∼ 𝑞
-Forma normal de disyunción
∼ 𝑞 ∧ (∼ 𝑞 ∨ 𝑝)
∼𝒒 -Ley de absorción
 ss

Ejercicios
Utilizando las leyes lógicas simplifique cada proposición compuesta.

1.- (∼ 𝑝 ∧ 𝑞) → (𝑞 → 𝑝) 4.- ∼ (∼ 𝑝 ∧∼ 𝑞) ∨ (𝑟 ∨ 𝑝)
2.- [(−𝑝 ∧ 𝑞) → 𝑝] ∨ (𝑝 →∼ 𝑝) 5.- 𝑝 → [𝑞 ∧∼ (𝑟 ∨ 𝑠)]
3.- ∼ [𝑝 → (𝑞 ∧ 𝑟)] ⟷ 𝑝 6.- [𝑝 ∧ (𝑞 ∧ 𝑝)] ∧ 𝑞

1.4 Circuitos Lógicos

Otra forma de representar proposiciones es mediante una
serie de rectas que forman un circuito matemático, estas
reciben el nombre de circuitos lógicos y son muy útiles para
𝑞 representar proposiciones compuestas.
𝑟
Definición 1.4.1
𝑝 Un Circuito Lógico es una estructura matemática que
permite representar proposiciones de forma gráfica.
𝑟
𝑠 𝑝
Los circuitos lógicos pueden clasificarse como: en Serie,
Paralelo y Mixto.

Definición 1.4.2
Un circuito esta En Serie solo si existe una dirección hacia
donde se mueve la proposición, cuando esto sucede la
lectura se hace con una conjunción lógica.
Ejemplo.
𝐷𝑎𝑑𝑜𝑠 𝑙𝑜𝑠 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠 𝑐𝑖𝑟𝑐𝑢𝑖𝑡𝑜𝑠, 𝑡𝑟𝑎𝑑𝑢𝑐𝑖𝑟𝑙𝑜𝑠 𝑎 𝑠𝑢 𝑓𝑜𝑟𝑚𝑎
𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙:
𝑝 ~𝑞 𝑝 ∧∼ 𝑞
𝑟 ~𝑝 𝑞 (𝑟 ∧∼ 𝑝) ∧ 𝑞

En caso de que un circuito en serie tenga mas de dos

proposiciones, estas se agrupan en forma asociativa para poder
leerlas.
 Definición 1.4.3
Un circuito está En Paralelo cuando hay dos direcciones
por las cuales puede ir una proposición, cuando esto sucede
la lectura se hace con una disyunción lógica.
Ejemplo.
𝐷𝑎𝑑𝑜𝑠 𝑙𝑜𝑠 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠 𝑐𝑖𝑟𝑐𝑢𝑖𝑡𝑜𝑠, 𝑡𝑟𝑎𝑑𝑢𝑐𝑖𝑟𝑙𝑜𝑠 𝑎 𝑠𝑢 𝑓𝑜𝑟𝑚𝑎
𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙:
𝑝
𝑝∨𝑞
𝑞
𝑝

𝑞
(𝑝 ∨ 𝑞) ∨ (𝑟 ∨ 𝑠)

Definición 1.4.4
Un circuito es Mixto si y solo si está formado por una
combinación de circuitos en serie y paralelo.
Ejemplo.
𝐷𝑎𝑑𝑜 𝑒𝑙 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠 𝑐𝑖𝑟𝑐𝑢𝑖𝑡𝑜, 𝑡𝑟𝑎𝑑𝑢𝑐𝑖𝑟𝑙𝑜 𝑎 𝑠𝑢 𝑓𝑜𝑟𝑚𝑎
Para leer un circuito mixto se
𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙:
comienza traduciendo de
𝑞
𝑝 izquierda a derecha, teniendo
𝑟 ∼𝑠 en cuenta cada proposición que
aparece y sombre que circuito
[(𝑝 ∧ (𝑞 ∨ 𝑟)) ∨ 𝑠] ∧∼ 𝑠 permanece.
𝑠

Para leer un circuito mixto se deben identificar aquellas

proposiciones que están en serie y en paralelo, una vez hecho
esto se comienza a transformar el circuito en proposición
teniendo en cuenta la utilización correcta de paréntesis,
corchetes y llaves.
 ss

Dado un circuito logico es posible simplificarlo utilizando las

leyes lógicas, para esto primero se debe pasar de circuito a
proposición y luego simplificar.
Ejemplo.
𝐷𝑎𝑑𝑜 𝑒𝑙 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠 𝑐𝑖𝑟𝑐𝑢𝑖𝑡𝑜, 𝑡𝑟𝑎𝑑𝑢𝑐𝑖𝑟𝑙𝑜 𝑎 𝑠𝑢 𝑓𝑜𝑟𝑚𝑎
𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙 𝑦 𝑠𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑟𝑙𝑜:
∼𝑝 𝑞
𝑞 𝑝 ∧ {[(∼ 𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (∼ 𝑞 ∨ 𝑝)}
∼𝑞
𝑝
Leyes que se han utilizado: 𝑝
-Ley de Absorción
𝑝 ∧ {[(∼ 𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (∼ 𝑞 ∨ 𝑝)}
-leyes de Asociación
-Ley del Tercio Excluido 𝑝 ∧ {𝑞 ∨ (∼ 𝑞 ∨ 𝑝)}
-Ley de Absorción 𝑝 ∧ {𝑣 ∨ 𝑝}
𝑝

Ejercicios
Simplifique los siguientes circuitos mixtos:
𝑝
𝑝 𝑞 𝑝 𝑞
𝑟
𝑝 𝑝 𝑟
𝑞
𝑞 ∼𝑝 𝑠

𝑝
𝑝 𝑝 𝑟
𝑞

𝑞 𝑟
𝑞
𝑟 𝑞
𝑟 𝑠 𝑟
1.5 Función Proposicional

Una función proposicional o enunciado abierto es una frase Para representar una función
donde hay presencia de variables, estas al ser reemplazadas proposicional se ocupa la
por valores definidos transforman la expresión en proposición notación 𝑝(𝑥) 𝑜 𝑝𝑥
y le dan un valor de verdad especifico.
Ejemplo. Solo podemos saber el valor de
3𝑥 + 1 = 𝑦 verdad de una función
𝑥2 − 1 = 0 proposicional si sus variables
É𝑙 𝑛𝑜 𝑠𝑎𝑏𝑒 𝑏𝑎𝑖𝑙𝑎𝑟. son reemplazadas.

Dentro de una función proposicional es posible encontrar

ciertos parámetros específicos, estos son: Variables o
Constantes.

Definición 1.5.1
Una Variable es un parámetro con un valor inestable, se
acostumbra a representarlas con las ultimas letras del
abecedario.

Definición 1.5.2
Una Constante es un parámetro con un valor definido que
es fijado de antemano.
Ejemplo. Al conjunto de valores que
hacen a la función
𝑉𝑎𝑟𝑖𝑎𝑏𝑙𝑒 𝐶𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒
proposicional verdadera se le
𝑥+3=1 𝑥 3𝑦1
llama Conjunto Verdad y se
É𝑙 𝑡𝑜𝑐𝑎 𝑝𝑖𝑎𝑛𝑜 É𝑙 𝑇𝑜𝑐𝑎 𝑝𝑖𝑎𝑛𝑜
escribe {𝑥 ∕ 𝑝𝑥 }

Es posible analizar la cantidad de elementos que hacen

verdad una función proposicional mediante símbolos
especiales llamados cuantificadores lógicos.
 ss

Definición 1.5.3
Un Cuantificador Lógico es un símbolo que permite
representar de forma general la cantidad de elementos que
hacen verdad a una función proposicional.
Los cuantificadores lógicos pueden ser de tres tipos:
Universal, Existencial y Existencial Único.
El cuantificador universal se
Definición 1.5.4
representa por el símbolo “∀" y
se lee: Un Cuantificador Universal es un símbolo matemático
-Para todo… que nos especifica que cualquier valor que reemplace a la
-Para cada… variable hace a la proposición verdadera.
-Para cualquier… Ejemplo.
-Sean todos los…
𝑆𝑒𝑎 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑓𝑢𝑛𝑐𝑖𝑜𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙:
𝑝 = "(𝑎 + 𝑏)2 = 𝑎2 + 2𝑎𝑏 + 𝑏2 "
∀𝑎, 𝑏 ∈ 𝑅, (𝑎 + 𝑏)2 = 𝑎2 + 2𝑎𝑏 + 𝑏2
El cuantificador existencial se
Definición 1.5.5
representa por el símbolo “∃" y
se lee: Un Cuantificador Existencial es un símbolo matemático
que nos especifica que existe algún valor que al
-Existe algún…
reemplazarlo en la variable hace a la proposición verdadera.
-Algunos…
-Existe por lo menos un… Ejemplo.
𝑆𝑒𝑎 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑓𝑢𝑛𝑐𝑖𝑜𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙:
𝑝 = "3𝑥 2 + 1 = 2"
∃𝑥 ∈ 𝑅/ 3𝑥 2 + 1 = 2
El cuantificador existencial Definición 1.5.6
único se representa por el
Un Cuantificador de existencia única es un símbolo
símbolo “∃! " y se lee:
matemático que nos especifica que existe un solo valor que
-Existe un único…
al reemplazarlo en la variable hace a la proposición
-Solo un…
verdadera.
-A lo más un…
Ejemplo.
𝑆𝑒𝑎 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑓𝑢𝑛𝑐𝑖𝑜𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙:
𝑝 = "3𝑦 + 1 = 4"
∃! 𝑦 ∈ 𝑅/ 3𝑦 + 1 = 4
Ejercicio
Dadas las siguientes funciones proposicionales encontrar variables y constantes:

1.- 𝑥 2 + 1 = 123 6.- 𝑥 2 + 3𝑥 + 1 = 23

2.- 𝐸𝑙𝑙𝑎 𝑒𝑠𝑡𝑎 𝑒𝑛𝑜𝑗𝑎𝑑𝑎 𝑦 É𝑙 𝑛𝑜 𝑠𝑎𝑏𝑒 𝑝𝑜𝑟𝑞𝑢𝑒. 7.- 𝐿𝑎 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑙𝑎 𝑚𝑎ñ𝑎𝑛𝑎 𝑚𝑒 𝑝𝑎𝑟𝑒𝑐𝑒 𝑓𝑜𝑚𝑒.

3.- √𝑥 + 1 − 2 = 2 8.- 𝑀𝑖 𝑃𝑒𝑙í𝑐𝑢𝑙𝑎 𝑓𝑎𝑣𝑜𝑟𝑖𝑡𝑎 𝑒𝑠 𝑑𝑒 𝐻𝑎𝑟𝑟𝑦 𝑃𝑜𝑡𝑡𝑒𝑟.

4.- 𝐴𝑦𝑒𝑟 𝑓𝑢𝑖 𝑎 𝑚𝑖 𝑐𝑖𝑢𝑑𝑎𝑑 𝑛𝑎𝑡𝑎𝑙.

5.- 𝑒 −𝑖𝜔𝑡 = 1

Dadas las siguientes funciones proposicionales encontrar su conjunto verdad:

1.- 𝑥 3 + 2𝑥 2 + 𝑥 = 0 6.- 𝑥 1 − 1 = 0

2.- 𝑀𝑖 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜 𝑓𝑎𝑣𝑜𝑟𝑖𝑡𝑜 𝑒𝑠𝑡𝑎 𝑒𝑛𝑡𝑟𝑒 1 𝑦 10. 7.- sin 𝑥 = 1

3.- 𝑥 + 1 > 3 8.- |𝑥| = 2

3
4.- 𝑉𝑜𝑦 𝑎 𝑣𝑖𝑎𝑗𝑎𝑟 𝑎 𝑢𝑛 𝑐𝑜𝑛𝑡𝑖𝑛𝑒𝑛𝑡𝑒 𝑑𝑒𝑙 𝑚𝑢𝑛𝑑𝑜. 9.- + 𝑥 = 𝑥 2
4

5.- 𝑥 2 = 81

Dadas las siguientes funciones proposicionales encontrar el cuantificador que le

corresponde:
1.- 𝑥 5 + 1 = 2 5.- (sin 𝑥)2 + (cos 𝑥)2 = 1
𝑥
2.- 𝑥 + 12 = 345 + 12 − 56 6.- 3 = 12

3.- 𝑎2 = 𝑎 ∙ 𝑎 7.- log 2 𝑥 = 5

4.- 𝑥 + 1 8.- √𝑎2 + 𝑏 2 = 0

Dadas las siguientes funciones proposicionales analizar si el cuantificador esta

correctamente bien utilizado, de no ser así cambiarlo por el que corresponde:
1.- (∀𝑥 ∈ ℕ)/ [(𝑥 + 1) ∈ ℕ]

2.- (∃! 𝑥 ∈ 𝑅)/ (𝑥 2 + 3𝑥 + 1 = 0)

3.- (∃𝑥 ∈ ℂ) / (𝑥𝑖 = −1)

4.- (∀𝑥 ∈ 𝑅) / (𝑥 + 1 > 0)

ss