You are on page 1of 20

I.2.- CUANTIFICADORES.

CÁLCULO DE
PREDICADOS.
• EL ÁLGEBRA DE PROPOSICIONES.
• En lógica una oración declarativa es una
proposición, la cual se le llama atómica si es
simple lo que asevera y, compuesta o
molecular si no lo es. Las proposiciones
compuestas se construyen usando un
conjunto fijo de palabras que conectan
proposiciones tanto atómicas como
compuestas.
Conectivos lógicos.

• Una de las contribuciones de la lógica, a la


economía y claridad de los discursos
matemáticos, es la paternidad en encontrar,
que las oraciones matemáticas pueden ser
clasificadas usando un conjunto pequeño de
palabras conectivas, las cuales llamaremos,
como es usual, conectivos lógicos. Los
conectivos lógicos más usados en Matemática
son: y, o, no, si...entonces, si y sólo si.
• Para comprender como la proposición
compuesta está formada por sus partes
atómicas, usamos la técnica de simbolizar
lógicamente la proposición y analizar su forma
estructural independiente de su contenido.
Para esto usamos letras mayúsculas para las
proposiciones, llamadas proposiciones
variables, y símbolos especiales para
establecer los conectivos. La expresión que se
obtiene es llamada: fórmula proposicional.
• En la lógica clásica, que es la que estamos
estudiando, una proposición tiene que ser o
falsa, o verdadera, lo cual constituye su valor
de verdad. La tabla que se forma, atendiendo
a todas las combinaciones posibles de los
valores de verdad de las partes atómicas de
una fórmula proposicional, se denomina
“tabla de verdad” de dicha fórmula.
• Es frecuente encontrar proposiciones que
tienen más de un conectivo. Los conectivos
pueden ser usados con proposiciones
compuestas de la misma forma que con
atómicas. En todos los casos habrá uno que es
el “mayor”, a ése se le llama dominante, ya
que actúa sobre toda la proposición.
• Una proposición con la forma ( )  ( ) es una
conjunción, no importa si el contenido de cada
paréntesis es atómico o compuesto. Por ejemplo:
(PQ)R es una conjunción a pesar que una de
las partes que la componen sea una disyunción.
• Los paréntesis son los símbolos de puntuación de
la lógica. Las proposiciones en que no aparecen
conectivos lógicos no requieren de paréntesis.
• Adoptando algunas reglas simples acerca de la
“potencia” de los conectivos lógicos, se pueden
eliminar algunos de los paréntesis en las proposiciones
simbolizadas:

• Regla 1.- El  es el más potente de los conectivos


lógicos.
• Regla 2.- El signo de negación  es más débil que
cualquiera de los otros.
• Regla 3.- Tienen igual potencia: a)  y 
b)  y 
Elementos del Cálculo proposicional.
Definición de tautología. Sea F una fórmula
proposicional. Entonces F es llamada una tautología, si y
sólo si, F tiene valor de verdad verdadero para toda
posible combinación de valores de verdad de sus
proposiciones variables componentes.

Definición de equivalencia lógica. Sean F y G dos


fórmulas proposicionales. Se dice que F y G son
equivalentes, y esto se denota por FG, si FG es una
tautología.
Ejemplos de equivalencias lógicas:
• P y P son equivalentes, es decir
PP

• PQ y PQ son equivalentes, es decir


(PQ)(PQ)
• Definición de implicación lógica.
Sean F y G dos fórmulas proposicionales. Se dice
que F implica lógicamente a G, y esto se denota por
FG, si FG es una tautología.

Ejemplos.-
Son implicaciones lógicas las siguientes:
• PQP
• PPQ
• En el estudio de la estructura interna de muchas
proposiciones no es suficiente el cálculo de
proposiciones estudiado hasta ahora, y se
requiere introducir algún lenguaje que lo
permita. Por ejemplo: todos los números reales
que son menores que 1 son menores que 2.
¿Cómo, aceptando la veracidad de la proposición
anterior, se puede hacer una demostración formal
lógica para probar que al ser 0<1 entonces 0<2?
• Una oración como “𝑛 es un número primo”, en la cual
el sujeto no está especificado, es llamada un predicado
en lógica. La letra “𝑛”, la cual establece el sujeto de la
oración, es llamada un objeto variable.

• Un predicado simple, llamado predicado variable, se


simboliza en lógica mediante una letra mayúscula
seguida de uno o más objetos variables en una lista
entre paréntesis. Por ejemplo, P(x) puede representar
al predicado: “x es menor que 1”, (x1).
• Predicados compuestos son representados
usando los símbolos usuales para los conectivos
lógicos, junto con las variables del predicado. Por
ejemplo: P(x)Q(x) puede representar el
predicado compuesto “si x1 entonces x2”.

• La proposición “2 es un número primo”, la cual se


obtiene de sustituir n por 2 en el predicado “n es
un número primo”, tiene un valor de verdad que
dependió de la sustitución que se realizó.
En general se requiere de un conjunto cuyos elementos son los
posibles sustitutos de los objetos variables del predicado. Este
conjunto es llamado el Universo de Discurso. Un conjunto apropiado
para ser el Universo de Discurso, en el predicado anterior, es el
conjunto de números naturales.

Conjuntos numéricos muy usados en el campo de las matemáticas son:


• conjunto de números complejos, C
• conjunto de números reales, R
• conjunto de números racionales, Q
• conjunto de números enteros, Z
• conjunto de números naturales, N
Definición de Cuantificador Universal.-
Sea P(x) un predicado con universo de discurso U. Entonces,
“Para todo x, P(x)”, denotada por “x, P(x)”, es una
proposición cuyo valor de verdad es:
• verdadero si para cualquier sustitución del objeto variable
x que hagamos en P(x) por un elemento aU, la
proposición resultante P(a) es verdadera.
• falso, en cualquier otro caso.

El símbolo “” se lee “para todo” y denota al símbolo llamado


“el cuantificador universal”. En “x, P(x)” decimos que el
objeto variable x ha sido cuantificado en el predicado P(x) por
el cuantificador universal.
Definición del Cuantificador Existencial.-
Sea P(x) un predicado con universo de discurso U. Entonces
“existe al menos un x, tal que P(x)”, denotada por: “x, P(x)”,
• es verdadera, si al menos P(a) es verdadera para alguna
sustitución aU del objeto variable x en el predicado P(x).
• es falsa, en cualquier otro caso.

El símbolo , se lee existe y es usado para denotar el


cuantificador existencial; en “x, P(x)” decimos que el objeto
variable x ha sido cuantificado en el predicado P(x) por el
cuantificador existencial.
Si dos o más variables ocurren en un predicado,
cada una de ellas puede ser cuantificada por el
cuantificador universal o el existencial. Es
indispensable usar tantos cuantificadores como
variables haya para transformar el predicado en una
proposición o en una función proposicional.

Las reglas para determinar el valor de verdad de la


proposición resultante son aplicadas de izquierda a
derecha.
• “(x)(y), P(x,y)” será verdadera si la proposición “y, P(a,y)” es
verdadera para cada valor “a” arbitrario que se le asigne a la
variable “x” en su universo de discurso. Esto último ya sabemos lo
que significa. Notemos que el valor “b” que debe tomar la variable
“y” en su universo de discurso para hacer verdadera P(a,b) depende
del valor “a”, es decir, a diferentes valores que se le asigne a la
variable “x”, en general, serán diferentes los valores que debe
tomar la variable “y”.
• “(y)(x), P(x,y)” será verdadera si al menos hay un valor fijo “b” en
el universo de discurso de la variable “y” para el cual la proposición
“x, P(x,b)” es verdadera. Notemos que ese valor “b” de la variable
“y” no depende del valor que tome la variable “x”, es decir, debe
servir el mismo valor “b” para todos los valores que pueda tomar la
variable “x” en su universo de discurso.
Recalcamos que una proposición es verdadera si y sólo si su
negación es falsa; lo cual se deduce inmediatamente del
hecho que el valor de verdad de una proposición es siempre el
opuesto al de su negación.

Teorema 1.2.5.1.- (de negación de cuantificadores)

Sea P(x) un predicado con universo de discurso U. Entonces


son equivalentes las siguientes pares de proposiciones:
• x, P(x) y x, P(x)
• x, P(x) y x, P(x)
Ejercicios