Cuantificadores

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 9

Trabajo de Logica y teoria de conjuntos

Funciones proposicionales y cuantificadores


Estudiantes: Cheyla Arrieta

Sergio Guerrero

Rosa

Yair Rueda

Sheyra
Funciones Proposicionales:

Una función proposicional es una función cuyas variables son proposiciones. Esto
es, una afirmación expresada de manera que podría asumir los valores de verdad,
de falso o verdadero con la excepción de que existe alguna variable que no está
definida o especificada y que, por tanto, no permite asignar un valor de verdad
definido.

Una función proposicional es un enunciado abierto de la forma P(X), es decir, se


trata de una expresión que contiene alguna variable que al ser sustituida por un
valor particular (número) se convierte en proposición.

Al igual que las proposiciones, las funciones proposicionales se pueden unir por
conectivos lógicos, formándose las funciones proposicionales compuestas.

Conjunto solución de una función proposicional

Conjunto de validez (o conjunto solución) de una función proposicional son aquellos


valores del conjunto de sustitución para los que es verdadera. Resolver dicha
función proposicional es encontrar su conjunto solución.

Ejemplos:

a). P(X): X es impar

● P(2) es impar. (F)


● P(-4) es impar. (F)
● P(7) es impar. (V)
● P(3) es impar. (V)

b). P(X, Y): X es divisor de Y.

● P(4, 8): 4 es divisor de 8. (V)


● P(10, 2): 10 es divisor de 2. (F)

Nota: Al conjunto de todos los valores convenidos para “X”, se denomina DOMINIO
DE LA VARIABLE.

c). Sea P(X): 2X+1>5 y el dominio Z, determina el valor de verdad de P(4) y P(-3)

Solución: · Si X: 4 P(4): 2(4)+1>5 - VERDADERO

9>5

· Si X:-3 P(-3): 2(-3)+1>5 - FALSO

-5>5

d). Sea: p(x): x+5=12; donde si reemplazamos x por 3, la expresión es falsa; si


reemplazamos x por 7, la expresión es verdadera. Esto escribimos así:
● p(3): 3+5=12 es falsa
● p(x): 7+5=12 es verdadera.

Cuantificadores

Los cuantificadores son símbolos que se emplean en los mencionados


contextos para poder señalar cuantos o los tipos de elementos que integran
un conjunto dado y que cumplen con determinada propiedad.
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.

Cuantificador universal o referencial

Es toda función proposicional precedida por el prefijo “Para Todo”, que está
denotada por : ∀ .
Los enunciados de la forma: para todo, siempre o cualquiera se denominan
enunciados universales o referenciales. Para traducirlos se utiliza el denominado
cuantificador universal.
Por ejemplo: ∀ x ∈ R : x 2 ≥ 0
Se lee: “Para todo x perteneciente a los reales, x al cuadrado es mayor o igual a
cero”.
Sea A una expresión y sea x una variable. Si deseamos indicar que A es verdadero para todos
los posibles valores de x, escribiremos (∀x) A.
• (∀x) es cuantificador universal
• A es el ámbito (alcance) del cuantificador.
• El símbolo ∀ se lee “para todo”.

Interpretación del cuantificador universal a partir de la conjunción

Consideremos una forma proposicional a(x) donde x ∈U = { x 1❑ , x 2 , ... , , x n}. Al


reemplazar la indeterminada x por un elemento x i ∈U obtendremos una proposición
a( x i) que podrá ser verdadera o falsa. Si tomamos todos los valores x 1❑ , x 2 , ... , , x n ∈
U , la conjunción a( x 1 ) ^ a( x 2 ) ^ ... ^ a( x n) será verdadera únicamente si cada una
de las proposiciones a ( x1 )❑ , a ( x¿ ¿2) ,... , ¿ , a( x n ¿ , que intervienen en la conjunción
es verdadera. En este caso la conjunción a( x 1 ) ^ a( x 2 ) ^ ... ^ a( x n) significará que
para todo xi ÎU es ( ) i a x una proposición verdadera. Esto se simbolizará mediante (
∀ x ∈∪¿ [ a(x) ] que se lee “para todo x ∈ U se cumple a(x) ”. El símbolo " se lee para
todo" y se llama cuantificador universal. Puesto que la forma proposicional a(x) tiene
como única variable x , la expresión cuantificada ( ∀ x ∈∪¿ [ a(x) ] es una proposición.
Si bien la introducción de este cuantificador fue hecha partiendo de un conjunto
universal finito, sigue siendo válida cuando el universal es un conjunto infinito, en
cuyo caso estamos ante una conjunción de las infinitas proposiciones que se
obtienen al reemplazar la indeterminada por cada uno de los elementos del conjunto
universal considerado. En tal sentido cabe destacar que para representar el
cuantificador universal puede también utilizarse en lugar de “ ∀ ", el símbolo en
mayúscula de la conjunción “∧” como lo hace Kuratowski, K. (1966).

Ejemplos:

a). Expresar “todos los gatos tienen cola” en cálculo de predicados.


Solución:
Hallar primero el ámbito del cuantificador universal, que es “Si x es un gato,
entonces x tiene cola” y se define como
Gx ↔ x es un gato
Cx ↔ x tiene cola ∴
(∀x) Gx → Cx

b). Cada número positivo es mayor que cero


1 es un número positivo
3 es un número positivo
Por lo tanto, 1 y 3 son mayores que cero Se define: Px ↔ x es un número positivo

c). los enunciados

1. Todos son vegetales


2. Cualquier flor
3. .Siempre son animales
son referenciales o universales.

Para simbolizar los lógicamente se determinan los predicados así:


V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:

( ∀ x ¿(Vx )y se lee: para todo x, x es un vegetal; cualquier x, x es un vegetal o


siempre x es un vegetal.

( ∀ x ¿( Fx )y se lee: para todo x, x es una flor; cualquier x, x es una flor o siempre x es


una flor.

( ∀ x ¿( Ax) y se lee: para todo x, x es un animal; cualquier x, x es un animal o siempre


x es un animal.

Ejercicios:

1). Mencione el valor de verdad de cada una de las siguientes proposiciones:

1. Todas las personas no tienen el tiempo para dedicarlo al mantenimiento de sus


autos. (Falso, algunas personas)
2. Todo número natural es un entero. (Verdadero)
3. Todos los números primos son impares. (Falso, 2 no es impar pero es primo)
4. Todos los números impares son primos. (Falso, 15, 21, 25 son impares pero no
son primos)
5. Algunos números racionales son enteros. (Verdadero)

2). Anteponer los cuantificadores correspondientes en las siguientes funciones


proposicionales, para que cada una resulte verdadera (x representa un número
real):

a) x 2−25=(x−5).(x+5)

b) x 2+4=0

c) x+2>x

3). “Todas las hormigas son insectos”.

Para toda x, si x es hormiga entonces x es insecto


Que se puede simbolizar de la manera siguiente: ( ∀ x ¿ ¿→ Ix )
Donde Hx simboliza la expresión: “x es hormiga”, e Ix simboliza la expresión “x es
insecto”.

4). Escriba las siguientes proposiciones en forma simbólica

a) Si x es par, entonces x no es divisible entre 5


b) Ningún entero par es divisible entre 5
c) Si x es par y un cuadrado perfecto, entonces x es divisible entre 4
Solución:
a) ∀x[q(x) → ¬t(x)]
b) ∀x[q(x) → ¬t(x)]
c) ∀x[(q(x) ∧ r(x)) → s(x)]

4.1). Determine si cada una de las tres proposiciones del apartado anterior es
verdadera o falsa. Para cada proposición falsa, dé un contraejemplo.

Solución:

a) Es falsa, basta tomar los múltiplos de 10


b) Es la misma del apartado anterior
c) Es verdadera

Cuantificador existencial
A diferencia del cuantificador universal, el cuantificador existencial transforma una
función proposicional a una variable proposicional de tal manera que por lo menos
existe un elemento de la variable-sujeto (por lo menos un elemento del conjunto)
que cumple una propiedad determinada.

Este tipo de proposiciones tiene la misma forma como el cuantificador universal en


cuanta escritura y se puede escribir igualmente así:
Cuantificador Existencial + función proposicional = variable proposicional

En el lenguaje de predicados en lógica matemática, se usa el símbolo: ∃, llamado


cuantificador existencial, antepuesto a una variable para decir que "existe al menos" un
elemento del conjunto, B, al que hace referencia la variable, que cumple la
proposición escrita a continuación.
∃∈B
Existe x que pertenece a B.
Ejemplos:

a). ∃x: x es un número primo.


Si eliminamos la variable x, podríamos decir «existe por lo menos algún número primo«,
naturalmente esta proposición es verdadera.

b). Sea el conjunto A= { 1 , 6.8 , 17 } donde:

∃ x ∈ A : x es múltiplo de 3.

Esta proposición nos dice que por lo menos existe un x ∈ A que es múltiplo de 3,
esta proposición es verdadera porque existe un elemento del conjunto A que es
múltiplo de 3 y es 6 ∈ A.

c). Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B


A⊂B∧A≠B∧A≠Ø
existe al menos un elemento x de B que pertenece a A
∃ x ∈ B∧ x ∈ A
Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir
que no todos los elementos de B pertenecen a A y B conjuntos distintos, existe al
menos un elemento “y” de B que no pertenece a A
∃ y∈B∧ y∉ A
que podemos leer: existe al menos un elemento “y” en B, y este elemento “y” no
pertenece a A.

Negación de un cuantificador

La negación de cualquiera de los cuantificadores se realiza negando la función


proposicional p(x) y cambiando el cuantificador universal por el cuantificador
existencial, o viceversa. Así:

Proposición Negación

Existencial ∃(existe) ∀

Universal ∀( para todo) ∃

Algunos Ningún

Ningún Algunos
Todos Algunos no

Algunos no.. Todos

Ejemplos:
a). Escriba la negación de cada uno de los siguientes enunciados:
1. Todos los números son enteros.
Negación: Algunos números no son enteros.
2. Ninguno de mis compañeros es extranjero.
Negación: Algunos de mis compañeros son extranjeros.

b). Simboliza y niega esta proposición: “Todos los números enteros son impares”.
● Sean el dominio Z y la función proposicional p(x): x es un número impar.
● Simbolizamos mediante el cuantificador universal: ∀ x ∈ Z , p( x )
● Negamos el cuantificador universal: ¬ [ ∀ x ∈ Z , p ( x) ] ≡∃ x ∈ Z /¬ p( x )
● Interpretamos: Existe al menos un número entero x que no es impar.

Dada una función proposicional, tal como: p(x), entonces si esta función
proposicional está cuantificada y se niega, entonces, se cumple la siguiente
igualdad:
-[ ∀ x ∈ A : p(x ) ] ≡ ∃ x ∈ A :−p (x)

Para negar un enunciado cuantificado, basta con cambiar el cuantificador y negar la


sustentabilidad o predicado. En la negación del predicado deberá utilizar las leyes
del álgebra proposicional.

Ahora veremos la negación de cuantificadores de una función proposicional a(x) ,


mediante su conjunto de verdad A = { x∈U : a(x) }.

(i) Sabemos que ( ∀ x∈U) [a(x)] es equivalente a A = U . En consecuencia, ¬¿ U)


[a(x)] equivalente a A ≠U, lo cual es equivalente a A '≠U’, es decir, A’≠Ø, lo cual
equivale a (∃x∈U) [¬a(x)]. Luego: ¬( ∀ x∈U) [a(x)] ⇔ (∃x∈U) [¬a(x)].

(ii) Vimos que (∃x∈U) [a(x)] es equivalente a A≠Ø . En consecuencia, ¬(∃x∈U) [a(x)]
equivalente a A≠ ∪, lo cual es equivalente a A’≠ ∪ ' , es decir, A’≠Ø , lo cual equivale
a (∃x∈U) [¬a(x)]. En consecuencia: ¬(∃x∈U) [a(x)] ⇔ ( ∀ x∈U) [¬a(x)].

La negación de los cuantificadores de una función proposicional es otro


cuantificador de la misma función proposicional negada, pero lo interesante aquí es
que se crea una relación de equivalencia entre un cuantificador universal y un
cuantificador existencial, de hecho, son proposiciones de valores opuestos.

Sea la siguiente función proposicional:

● p(x): x es un animal que tiene cola.

Por tanto, la proposición ∀ x : p( x )es lógicamente falsa, creo que no necesito explicar
el porqué, para corregir esto, simplemente lo negamos, quedaria asi:

● ¬ [ ∀ x : p( x ) ]

Su lectura es:

● No es cierto que para todo x, x es un animal que tiene cola.

Ejercicio:

Determinar la negación de cada uno de los siguientes enunciados en símbolos y en


palabras:
A. Algunos estudiantes no prestan atención a la clase.
B. Hay estudiantes que prestan atención a la clase.
C. Ningún estudiante presta atención a la clase.

Entonces, se considera la siguiente simbolización:


P(x): x presta atención a la clase.

A. Algunos estudiantes no prestan atención a la clase.


Negación en palabras: Todos los estudiantes prestan atención a la clase.
Simbolización: ∃ x (¬ p (x))
Negación: ¬ [ ∃ x (¬ p (x)) ] ≡∀ xp(x )
B. Hay estudiantes que prestan atención a la clase.
Negación en palabras: Todos los estudiantes no prestan atención a la clase.
Simbolización: ∃ xp (x)
Negación: ¬ [ ∃ xp (x) ] ≡ ∀ x [ ¬ p (x) ]

C. Ningún estudiante presta atención a la clase.


Negación en palabras: Algunos estudiantes prestan atención a la clase.
Simbolización: ∀ x( ¬ p(x ))
Negación: ¬ [ ∀ x (¬ p(x 9)) ] ≡ ∃ xp (X )
Bibliografía:

● https://es.slideshare.net/antokizbieber/negacin-de-proposiciones-con-
cuantificadores
● https://cdn.slidesharecdn.com/ss_thumbnails/lgicaproposicional-
110224081025-phpapp02-thumbnail.jpg?w=384&q=90
● http://caminos.udc.es/info/asignaturas/grado_tecic/101/AL1/pdfs/Precursos/
problemastema0.pdf
● https://es.scribd.com/doc/126446/Ejercicios-de-cuantificadores
● http://casanchi.org/mat/proposicionales01.pdf
● https://steemit.com/castellano/@anmilnet/funciones-proposicionales-y-
dominio-de-verdad
● https://www.academia.edu/41224406/Introducci%C3%B3n_a_la_l
%C3%B3gica_matem%C3%A1tica_Alfonso_Burgos

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy