Analicemos la expresión
“x es el fundador de la lógica”
Un enunciado como el anterior se determina como
enunciado abierto. Evidentemente se puede notar que, “x”
no es el nombre de un individuo en particular tal como lo es
“a”; es decir, x no es una constante; x es una variable que
puede ser sustituida por cualquier nombre de individuo (en
este caso el nombre de una persona) formando así una
proposición. La expresión no es una proposición; es un
enunciado abierto, porque no se puede asegurar que es
verdadero o falso.
En efecto, veamos algunos casos: Si x toma el valor Luis XV,
el enunciado quedaría:
“Luis XV es el fundador de la lógica”,
que es una proposición falsa.
Si x es Pitágoras el enunciado quedaría:
“Pitágoras es el fundador de la lógica”,
que es una proposición falsa.
Si x es Aristóteles se
“Aristóteles es el fundador de la lógica”
que es una proposición verdadera
Se puede observar que el enunciado algunas veces es falso y
otras veces es verdadero. Luego, el enunciado se podría
escribir
“algún x es el fundador de la lógica”
y se denominará “enunciado particular”
Ahora, analicemos el enunciado
“x es idéntico a si mismo”
Este enunciado es equivalente a
“x es idéntico a x”
Observe que cualquier nombre que sustituya a x forma una
proposición verdadera, pues cualquier individuo es idéntico
a si mismo. Por lo tanto, el enunciado se podría escribir
“todo x es idéntico a si mismo”
y se llamará “enunciado universal”.
Los enunciados en los cuales se presentan expresiones tales
como algunos (o existe o hay), todo (o siempre o cada) se
denominan cuantificador existencial (o particular) y
cuantificador universal (o referencial), respectivamente.
Ejemplo de enunciados cuantificados: Hay árboles, todos
son árboles, algunos números, siempre son números,
algunos árboles son maderables, todos los árboles son
maderables, hay árboles maderables que tiene flores, los
árboles maderables tienen flores.
Para denotar un enunciado cuantificado se escribe el
cuantificador correspondiente seguido del predicado del
enunciado cuantificado. El predicado previamente se escribe
con letras mayúsculas, seguido de dos puntos; entre comillas
se agrega el enunciado afirmativo, utilizando el verbo
principal en infinitivo.
Ejemplo 6.1: los enunciados “algunas flores” y “todas las
flores” tienen como predicado
F: “ser flor”
Ejemplo 6.2: los enunciados
1. Algunos son vegetales
2. Hay flores
3. Existen animales
son existenciales o particulares
Para simbolizarlos lógicamente se determinan los
predicados así:
V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:
Los enunciados de la forma: para todo, siempre o cualquiera
se denominan enunciados universales o referenciales. Para
trascribirlos se utiliza el denominado cuantificador universal
y se simboliza con
Sea P el predicado y x el elemento indefinido que cumple el
predicado
Ejemplo 6.3: los enunciados
1. Todos son vegetales
2. Cualquier flor
3. Siempre son animales
son referenciales o universales.
Para simbolizarlos lógicamente se determinan los
predicados así:
V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:
Diferencias entre los
cuantificadores
Cuando se tiene un enunciado existencial se está afirmando
que hay o existen individuos que cumplen la propiedad.
Ejemplo, el enunciado “algunas hojas de árboles son de
color rojo” se está afirmando que existen hojas de árbol que
son de color rojo.
Sin embargo, no sucede lo mismo cuando se tiene un
enunciado universal no se está asegurando que existan
individuos que cumplan la propiedad dada. Por ejemplo,
“todas las hojas de árboles son de color rojo”. Este
enunciado no está afirmando que existan árboles con hojas;
simplemente se está afirmando que cualquiera que sea hoja
de árbol deberá ser de color rojo.
Cuantificadores con predicado
compuesto
Se llama enunciado compuesto a aquellos enunciados que
tienen dos o más predicados (vea figura 6.1).
Para usar correctamente el cuantificador tenga en cuenta lo
siguiente:
. Los enunciados particulares utilizan la conjunción como
conectivo principal
Los enunciados particulares se expresan enlazando los
predicados con una conjunción, porque lo atribuido a un
predicado también se le atribuye al otro.
. Los universales utilizan el condicional como conectivo
principal.
Los enunciados universales se expresan enlazando los
predicados con un condicional, porque lo atribuido al
primer predicado es condición suficiente de lo atribuido al
segundo predicado.
Ejemplo 6.4: trascriba al lenguaje simbólico los
enunciados
1 Hay flores rojas
2 Para toda flor roja
3 Algún hombre sin empleo es un delincuente en potencia
Los enunciados 1 y 2 tienen los siguientes predicados:
F:”ser flor”
R:”ser roja”
El enunciado del numeral 3 lleva los siguientes predicados:
H:”ser hombre”
T:”tener empleo”
D:”ser un delincuente en potencia”
La expresión trascrita al lenguaje simbólico es:
que se leería en lenguaje corriente: “hay un x tal que x es un
hombre que no tiene empleo y es un delincuente en
potencia”.
Negación de cuantificadores
Para negar un enunciado cuantificado, basta con cambiar el
cuantificador y negar la afirmación .
Ejemplo 6.5: niegue los enunciados del ejemplo 6.4 y
exprese su resultado en lenguaje corriente
Combinación de cuantificadores
Algunos enunciados cuantificados llevan combinación de
cuantificadores que se diferencian por el orden en que se
disponen, con el fin de conformar una expresión (ver figura
6.3). Con el propósito de aclarar el significado mediante el
simbolismo lógico de cada expresión, se recomienda poner
paréntesis.
Ejemplo 6.5: Determine si los siguientes enunciados son
equivalentes
. “Para todo número racional diferente de cero hay otro
racional tal que el producto entre ellos es 1”.
. “Hay un número racional diferente de cero que al
multiplicarlo por otro racional el resultado es 1”.
Para darle solución a este problema se sugiere escribir
ambos enunciados en lenguaje simbólico y luego determinar
el valor de verdad de cada uno. En efecto, escribamos
simbólicamente la afirmación del primer enunciado.
Ahora, escribamos el segundo enunciado
Si analizamos el primer enunciado se puede deducir que este
es verdadero, porque basta con multiplicarlo por su inverso
multiplicativo a cualquier racional; por ejemplo, 5*(1/5)=1 ó
(-12)*(1/(-12))=1; en general, si y= 1/x se tiene que x*(1/x)=1
para todo entero x≠0.
En el segundo caso se tiene que es falso, porque no hay un
número racional tal que al multiplicarlo por cualquier
racional resulte 1; por ejemplo, 5 y 4 son números racionales
y 5*4≠1.
Efectivamente, los enunciados no son lógicamente
equivalentes. Por consiguiente, del anterior ejemplo nos
permite concluir que en general
Observe que el orden del cuantificador en el enunciado es
importante para determinar el valor de verdad.
¿Qué se puede decir del enunciado: “cualquier número
natural se resta cualquiera otro número natural se obtiene
otro número natural”?
Ejemplo 6.6: determine el valor de verdad de los siguientes
enunciados:
. Para todo número real se tiene otro número real que al
sumarlos su resultado es cero.
.Hay números reales que al sumarles cualquier número real
resulta cero.
Propiedades de los
Cuantificadores
Bibliografía
https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-d453d859dd20
