Está en la página 1de 20

LOGICA CUANTIFICACIONAL

1
INDICE
LOGICA CUANTIFICACIONAL

1. FUNCION PROPOSICIONAL………………………………………………3

2. CUANTIFICADORES: UNIVERSAL Y EXISTENCIAL………………….3


2.1 PROPOSICIONES UNIVERSALES
2.2 PROPOSICIONES PARTICULARES O EXISTENCIALES

3. VARIABLES LIBRES Y LIGADAS………………………………………...5


3.1 FÓRMULAS ABIERTAS Y FÓRMULAS CERRADAS
4. EQUIVALENCIAS DE CUANTIFICADORES……………………………..6

5. CUADRO DE OPOSICIÓN…………………………………………………..6

6. NEGACION DE PROPOSICONES QUE EN CONTIENEN


OPERADORES CUANTIFICACIONALES…………………………………8

7. FUNCIONES LOGICAS QUE CONTIENEN MAS DE UNA VARIABLE.9

8. USO DE LOS CUANTIFICADORES……………………………………….9

2
LOGICA CUANTIFICACIONAL

I. FUNCION PROPOSICIONAL

Una función proposicional es todo enunciado abierto de la forma p(x) que tiene la
propiedad de convertirse en una proposición al ser sustituido la variable x por una
constante c especifica. El conjunto de todos los valores convenidos para la variable x
recibe el nombre de dominio de la variable. Esto es, si representamos por D el dominio,
diremos que x pertenece a D mediante la notación conocida: 𝑥 ∈ 𝐷

Entonces, según la definición de enunciado abierto, función proposicional sobre D es toda


expresión p(x) tal que p(c) es verdadera o falsa para todo 𝑐 ∈ 𝐷.

Observación - No se debe confundir entre el valor de verdad de una proposición (V o


F) del valor de una función proposicional, para un cierto valor de la variable.

Por ejemplo, en la proposición p(x): el autor de x

Si x=” el capital”, entonces:

p (“el capital”): el autor de “el capital” = Carlos Marx

Se tiene: valor de la función proposicional = Carlos Marx

Valor de verdad de la función proposicional = V

II. CUANTIFICADORES: UNIVERSAL Y EXISTENCIAL

Hasta ahora hemos visto un método para obtener proposiciones a partir de una función
proposicional p(x). Existe un método distinto llamado CUANTIFICADORES.

EJEMPLO:

Sea la función proposicional:

p(x): x es un número primo.

3
Si a esta función proposicional anteponemos la locución “para todo x” obtenemos:

“Para todo x, x es un número primo”

Y con ello estamos indicando el sentido UNIVERSAL de dicha función proposicional.

 La locución “para todo x” se denomina el cuantificador universal y


simbólicamente se le representa por ∀x.

∀x: x es un número primo.

En términos generales, si se tiene una función proposicional p(x), se puede tener de él una
proposición mediante la adjunción de un cuantificador universal así:

∀x:p(x) o ∀x|𝑝(𝑥) o (∀x)[𝑝(𝑥)]

En todas de ellas se lee:

“Para todo x, tal que se verifique p(x).

La locución “para todo x” no es el único cuantificador que permite obtener proposiciones


a partir de funciones proposicionales, existe otro llamado, cuantificador existencial.

El cuantificador existencial en x, a la frase “existe x tal que”. Si anteponemos a la función


proposicional anterior, este nuevo cuantificador, se obtiene.

“Existe x tal que x, es un numero primo”

Esta afirmación establece que hay por lo menos un objeto que es un número primo.

El cuantificador existencial en x “Existe x tal que” se simboliza ∃x, de modo que se puede
escribir:

∃x: x es un número primo.

En términos generales, si se tiene el esquema proposicional p(x), se puede obtener


mediante la adjunción de un cuantificador existencial, así:

∃x: p(x) o ∃x|𝑝(𝑥) o (∃x)[p(x)]

Y se lee:

Existe por lo menos un x, tal que se verifique p(x).

4
 El símbolo ∃ que significa: “existe” o “para algún” o “para al menos un”, se llama
cuantificador existencial o particular.

1.- PROPOSICIONES UNIVERSALES

Una proposición universal es aquella que esta provista de un cuantificador universal, y


tiene la forma

∀𝑥𝜖𝐴: 𝑝(𝑥)

2.- PROPOSICIONES PARTICULARES O EXISTENCIALES

Una proposición universal es aquella que esta provista de un cuantificador existencial, y


tiene la forma

∃𝑥𝜖𝐴: 𝑝(𝑥)

III. VARIABLES LIBRES Y LIGADAS

Se distinguen dos clases de variables:

A. Variables libres, no están bajo el alcance de un cuantificador.


B. Variables ligadas, están bajo el alcance de un cuantificador.

Fórmulas abiertas y fórmulas cerradas

Una fórmula se llama abierta si exhibe al menos una variable libre. Igualmente, toda
fórmula abierta es una función proposicional, esto es, no es interpretable como
proposición. Una formula se denomina cerrada si no exhibe ninguna variable libre y es
interpretable como una proposición.

5
“Fxy” es una función proposicional, sus dos variables están libres del alcance de un
cuantificador, consecuentemente es una fórmula abierta; pero si la anteponemos un
cuantificador para cada una de sus variables obtenemos una proposición, esto es, una
fórmula cerrada de la fórmula “(∀𝑥)(∃𝑦)𝐹𝑥𝑦". Otros ejemplos:

𝑎)(∀𝑥)(𝐹𝑥 ∨ 𝐺𝑥)

𝑏)(∀𝑥)𝐹𝑥𝑦 ∨ (∃𝑦)𝐺𝑥𝑦

𝑐)(∃𝑥)(𝐹𝑥𝑎 ∨ 𝐺𝑥)

“(a)” es una formula cerrada pues las dos incidencias de “x” están ligadas al cuantificador
universal que es el operador de mayor jerarquía. “(b)” es una fórmula abierta pues la
primera incidencia de “y” es libre; el cuantificador universal, en este caso, solo liga la
primera incidencia de “x”. Igualmente, la segunda incidencia de “x” también es libre
porque el cuantificador no liga a “x” y el primer cuantificador tiene alcance solo hasta
antes de “v”, que es el operador de mayor jerarquía. Finalmente, “c” es una fórmula
cerrada pues las dos incidencias de “x” están ligadas al cuantificador existencial, y a la
letra “a” no se le puede aplicar un cuantificador porque no es una variable sino una
constante individual.

IV. EQUIVALENCIAS DE CUANTIFICADORES


 Se tienen las siguientes relaciones universales:

∀𝑥 ∈ 𝐴: 𝑃(𝑥) ↔ ~∃𝑥 ∈ 𝐴: ~𝑃(𝑥)

Para todo x de A, se cumple P(x) si y sólo si no existe x en A que no cumpla P(x).

∃𝑥 ∈ 𝐴: 𝑃(𝑥) ↔ ~∀𝑥 ∈ 𝐴: ~𝑃(𝑥)

Existe al menos un x en A que cumple P(x) si y sólo si no es cierto que para


todo x de A, no se cumpla P(x).

 En cuanto al cuantificador existencial único puede considerarse una extensión por


definición en un lenguaje formal con igualdad teniendo dada la equivalencia:

∀! 𝑥 ∈ 𝐴: 𝑃(𝑥) ↔ ∀𝑥, 𝑦 ∈ 𝐴: 𝑃(𝑥) ∧ 𝑃(𝑦) → 𝑥 = 𝑦

6
Existe un único x en A que cumple P(x), si y sólo si para todo x, y de A, si se cumple
que P(x) y P (y), entonces x es igual a y

V. CUADRO DE OPOSICIÓN

Resulta que hay proposiciones (juicios categóricos) que pueden hablar de una misma
cosa, pero entenderla con unas pequeñas variantes en relación a su extensión (universal
o particular) y en relación a su cualidad esencial (afirmar o negar). Así pues, tenemos que
puede haber proposiciones de cuatro tipos: universales afirmativas, universales negativas,
particulares afirmativos y particulares negativos. A cada una de ellas se les asignó
respectivamente una letra: A, E, I, O y se estudiaron sus relaciones de verdad
esquematizados en un diagrama llamado el cuadro de la oposición. Los culpables de esta
ocurrencia fueron: Apuleyo (125-164 d.C), quien la propuso y Boecio (480-526 d.C),
quien la perfeccionó.

Todo S es P Ningún S es P
A Contrarias E
Subalternante

Subalternante
Subalterna

Subalterna

I Subcontrarias O
Algún S es P Algún S es no P

La oposición se realiza con el mismo sujeto y predicado aunque ciertamente jugamos con
las diferentes posibilidades de juicios cambiando su cantidad y su cualidad. De este modo
obtenemos 4 enunciaciones:

A: todo S es P

E: ningún S es P

I: Algún S es P

7
O: Algún S no es P

Supongamos que la A es verdadera. Poseyendo nada más ese dato debemos deducir la
verdad o falsedad de las demás proposiciones. Para tal efecto, contamos con las siguientes
reglas:

1. Las proposiciones contrarias no pueden ser simultáneamente verdaderas, pero sí


simultáneamente falsas.
2. Las proposiciones contradictorias no pueden ser simultáneamente falsas ni
simultáneamente verdaderas. Por lo tanto, de la verdad de una contradictoria se
infiere la falsedad de la otra y viceversa.
3. Las proposiciones subcontrarias no pueden ser simultáneamente falsas, pero sí
pueden ser simultáneamente verdaderas.
4. En relación con las proposiciones subalternas debemos decir dos cosas:

- Que de la verdad de la universal también se infiere la verdad de su respectivo


particular, pero no al revés.

- Que de la falsedad de la particular también se infiere la falsedad de su respectiva


universal; pero no al revés.

VI. NEGACION DE PROPOSICONES QUE CONTIENEN OPERADORES


CUANTIFICACIONALES

Sea la proposición:

p(x): “x es un planeta habitable”

Entonces la expresión ∀𝑥: 𝑝(𝑥), es evidente que es falsa, y por lo tanto queremos afirmar
su negación:

~[∀x: p(x)]

Que se lee:

“No para todo x, x es un planeta habitable”

Y significa:

8
“Existe por lo menos un planeta que no es habitable” o bien:

“No todos los planetas son habitables”

TEOREMA 1. La negación del cuantificador universal es equivalente a la afirmación


de un cuantificador existencial respecto de la función proposicional negada.
~[∀x: p(x)] ≅ [∃x: ~p(x)]

TEOREMA 2. La negación de un cuantificador existencial es equivalente a la


afirmación de un cuantificador universal respecto de la función proposicional negada.
~[∃x: p(x)] ≅ [∀x: ~p(x)]

TEOREMA 3. ~[∀x ∈ A: p(x)] ≡ [∃𝑥 ∈ 𝐴: ~𝑝(𝑥)]


O sea, el enunciado:
“No es verdad que, para todo 𝑎 ∈ 𝐴 , p(a) es verdadera”
Es equivalente al enunciado:
“Existe un 𝑎 ∈ 𝐴 tal que p(a) es falso”.

TEOREMA 4. ~[∃x ∈ A: p(x)] ≡ [∀x ∈ A: ~p(x)]


O sea, el enunciado:
“No es verdad que exista un 𝑎 ∈ 𝐴 tal que p(a) es verdadero”
Equivale al enunciado:
“Para todo 𝑎 ∈ 𝐴, p(a) es falso”
Por ejemplo, la negación de la proposición:
“Para todo número natural x, x+3> 5”
Simbólicamente : ~[∀x ∈ N: x + 3 > 5)] ≡ [∃x ∈ N: x + 3 ≤ 5]

9
VII. FUNCIONES LOGICAS QUE CONTIENEN MAS DE UNA VARIABLE

Para funciones proposicionales en una variable, en forma análoga se definen funciones


proposicionales en varias variables. Por ejemplo:

x mato a y

Es una expresión en dos variables tal que, para cada sustitución de ambas variables por
sendos nombres convenientemente elegidos, se obtiene una proposición. Así para: x =
Juan e y = Cesar, se produce la proposición:

p (x, y): Juan mato a Cesar

Un ejemplo de función proposicional de tres variables es:


x vio que y mataba a z

La cual, para x = Napoleón, y = Bruto, z = Cesar, produce la proposición:

p (x, y,z): Napoleón vio que Bruto mataba a Cesar

VIII. USO DE LOS CUANTIFICADORES

Si se coloca un cuantificador (universal o existencial) delante de una función


proposicional de varias variables, no se obtiene una proposición sino una función
proposicional de menor número de variables. Por ejemplo, si aplicamos el cuantificador
universal en x se obtiene:

∀𝑥: 𝑥 + 𝑦 + 𝑧 = 1

Que es una función proposicional en dos variables: y, z.

Aplicamos el cuantificador existencial en y obtenemos:

∃𝑦: ∀𝑥: 𝑥 + 𝑦 + 𝑧 = 1

Una función proposicional en la variable z.

Aplicamos el cuantificador universal en z, obtenemos:

∀𝑧: ∃𝑦: ∀𝑧: 𝑥 + 𝑦 + 𝑧 = 1

10
Que es una proposición. En el caso de que los individuos u objetos sean números, el
sentido de esta proposición es el siguiente:

“Dado cualquier número z, existe por lo menos un número y tal que, para cualquier
número x es: x+y+z= 1”

Para determinar su valor de verdad procedemos de la siguiente manera: como la


proposición afirma que todo z, podemos tomar z=-3. Una vez fijado z=-3, la proposición
afirma la existencia de un cierto número y, tal que cualquiera que sea x se debe cumplir:

𝑥 + 𝑦0 − 3 = 1 ↔ 𝑦0 + 𝑥 = 4

Ahora si tomamos x=1, la proposición afirma que:

𝑦0 + 1 = 4 ↔ 𝑦0 = 3

Pero como también podemos dar a x cualquier otro valor, tomamos x=0 y obtenemos,
siempre para el mismo 𝑦0 :

𝑦0 + 𝑜 = 4 ↔ 𝑦0 = 4

Por lo cual no existe, la proposición en cuestión (que afirma su existencia) es falsa.

∀𝑧: ∀𝑥: ∃𝑦: 𝑥 + 𝑦 + 𝑧 = 1

En resumen: la aplicación de n cuantificadores correspondientes a las n variables de una


función proposicional, produce una proposición que tiene un valor de verdad. Por
ejemplo:

∀𝑥: ∃𝑦: 𝑝(𝑥, 𝑦) O ∀𝑥: ∀𝑦: ∃𝑧: 𝑝(𝑥, 𝑦, 𝑧)

El orden en que se aplican los cuantificadores es esencial; en algunos casos, al cambiar el


orden de los cuantificadores cambia la proposición (o la función proposicional) obtenida.

Nota. La negación de una proposición cuantificada que contiene más de una variable
puede averiguarse así:

~∀𝑥[∃𝑦: 𝑝(𝑥, 𝑦)] ≡ ∃𝑥~[∃𝑦: 𝑝(𝑥, 𝑦)] ≡ ∃𝑥, ∀𝑦: ~𝑝(𝑥, 𝑦)

11
PRACTICA

1. Sean 𝑨 = {−𝟐, −𝟏, 𝟎, 𝟏, 𝟐} , 𝑩 = {−𝟏, 𝟎, 𝟏} , determinar el valor de verdad de


cada una de las siguientes proposiciones:

Solución:

 ∀𝑥 ∈ 𝐴 , ∀𝑦 ∈ 𝐵, 4𝑥 2 + 𝑦 2 ≤ 17………………………………es V.
𝐵 𝑥2
 ∀𝑥 ∈ 𝐴, ∃𝑦 ∈ 1 − ≤ 𝑦 2 + 1 < 2…………………………….. es V.
4

2. Determinar el valor de verdad de:

p: ∀𝑥 ∈ 𝑄, ∃𝑦 ∈ 𝑄 , 𝑥 + 𝑦 = 0

q: ∃𝑦 ∈ 𝑄 , ∀𝑥 ∈ 𝑄, 𝑥 + 𝑦 = 0

Solución:

En p: si 𝑥 = 2 , "∃y ∈ Q/2+y=0 " … … … … . 𝑒𝑠 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜.

3 3
Si 𝑥 = − 5 , "∃y ∈ Q/- 5 +y=0" … … … … … 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜.

“Para cualquier 𝑥 ∈ 𝑄 existe su opuesto y=- x, tal que 𝑥 + 𝑦 = 0”.

Por tanto: p es V.

1 1
En q: si 𝑦 = 2 , "𝑥 + 2 = 0, ∀𝑥 ∈ 𝑄" 𝑒𝑠 𝐹.

Por tanto: q es F.

3. Sean las proposiciones p y q, dadas por:

p: “∀𝑦 ∈ 𝑁 , ∃𝑥 ∈ 𝑁 ∶ 𝑥 > 𝑦 ∧ 𝑥 𝑒𝑠 𝑝𝑎𝑟.

q: “∃𝑥 ∈ 𝑁 ∶ ∀𝑦 ∈ 𝑁 ∶ 𝑦 < 𝑥".

12
Deducir y fundamentar el valor de verdad de cada una de dichas proposiciones.

Solución:

A. Tener en cuenta que 𝑁 = {0,1,2,3, … }

B. Para p: “Para todo 𝑦 ∈ 𝑁 : 𝑥 > 𝑦 ∧ 𝑥 es par.”

Para 𝑦 = 0 , hay 𝑥 = 2 tal que 2 > 0 es V.

Para 𝑦 = 1 , hay 𝑥 = 2 tal que 2 > 1 es V.

Para 𝑦 = 2 , hay 𝑥 = 4 tal que 4 > 2 es V.

Para todo 𝑦 ∈ 𝑁 , siempre será posible encontrar algún x para tal que 𝑥 > 𝑦.

Luego, p es V.

A. Par q: “Hay al menos un 𝑥 ∈ 𝑁 , tal que, para 𝑦 ∈ 𝑁 se cumple: 𝑦 < 𝑥"


Si probamos con 𝑥 = 0 , “𝑦 < 𝑥 , ∀𝑦 ∈ 𝑁" es F.

No va ser posible encontrar algún 𝑥 ∈ 𝑁 , tal que “𝑦 < 𝑥 , ∀𝑦 ∈ 𝑁"

Luego, q es F.

4. Si se tiene 𝑷(𝒙): 𝟎 < 𝒙 < 𝟐, es un enunciado abierto. Construir proposiciones.

Solución:

A partir de este enunciado abierto se puede construir proposiciones asignando a cada


variable valores tomados de cierto conjunto.

a) Para 𝑃(𝑥): 0 < 𝑥 < 2, si asignamos a la variable x cualquier valor 𝑥 ∈ 𝑁,


obtendremos:

𝑃(2): 0 < 2 < 2………F

𝑃(1): 0 < 1 < 2………V

13
5.- Negar la proposición “para todo número racional r existe un numero entero n tal que
𝑛 ≤ 𝑟 < 𝑛 + 1”

Solución:

Simbolizando la proposición se tiene

𝑝 = ∀𝑟 ∈ 𝑄, ∃𝑛 ∈ 𝑍\𝑛 ≤ 𝑟 < 𝑛 + 1

Entonces:
~𝑝 = ~[∀𝑟 ∈ 𝑄, ∃𝑛 ∈ 𝑍\𝑛 ≤ 𝑟 < 𝑛 + 1]

∼ 𝑝 = ~∀𝑟 ∈ 𝑄, ~∃𝑛 ∈ 𝑍\~(𝑛 ≤ 𝑟 ∧ 𝑟 < 𝑛 + 1)

.·. ∼ 𝑝 = [∃𝑟 ∈ 𝑄, ∀𝑛 ∈ 𝑍\𝑛 > 𝑟 ∨ 𝑟 ≥ 𝑛 + 1]

6.- Negar oracionalmente el enunciado “para todo número real x, existe un numero entero
M tal que 𝑥2 < 𝑀 + 1 siempre que 𝑥 < 𝑀”
solución

Simbolizando el enunciado se tiene:

𝑝 = ∀𝑥 ∈ 𝑅, ∃𝑀 ∈ 𝑍\𝑥 < 𝑀 → 𝑥 2 < 𝑀 + 1

Entonces:

~𝑝 = ~[∀𝑥 ∈ 𝑅, ∃𝑀 ∈ 𝑍\𝑥 < 𝑀 → 𝑥 2 < 𝑀 + 1]

~𝑝 = ~∀𝑥 ∈ 𝑅, ~∃𝑀 ∈ 𝑍\~(𝑥 < 𝑀 → 𝑥 2 < 𝑀 + 1)

~𝑝 = ∃𝑥 ∈ 𝑅, ∀𝑀 ∈ 𝑍\~[∼ (𝑥 < 𝑀) ∨ 𝑥 2 < 𝑀 + 1]

~𝑝 = ∃𝑥 ∈ 𝑅, ∀𝑀 ∈ 𝑍\𝑥 < 𝑀 ∧ 𝑥 2 ≥ 𝑀 + 1

.·. “Existe un número real x, para rodo número entero M, tal que 𝑥 < 𝑀 y 𝑥 2 ≥ 𝑀 + 1

7.- Dada la proposición: “Si todos los números primos son impares, los números positivos
son mayores que -1”

a) expresarla simbólicamente

b) Negar oracionalmente la proposición

Solución.

Sea: 𝑝(𝑥) =números primos impares

14
𝑞(𝑥) =Números positivos mayores que -1

a) en símbolos se tiene: ∀𝑥[𝑝(𝑥) → 𝑞(𝑥)]

b) ~{∀𝑥[𝑝(𝑥) → 𝑞(𝑥)]} ≡ ∀𝑥[𝑝(𝑥)] ∧∼ ∀𝑥[𝑝(𝑥)]

≡ ∀𝑥[𝑝(𝑥)] ∧ ∃𝑥[𝑝(𝑥)]

8.- sea el conjunto 𝐴 = {1, 2, 3, 4, 5} y las proposiciones:

𝑝 = ∃𝑥 ∈ 𝐴\(𝑥 + 2 = 6) → (𝑥 − 5 = 8)

𝑞 = ∀𝑥 ∈ 𝐴\(𝑥 + 2 > 2)

𝑟 = ∃𝑥 ∈ 𝐴(𝑥 + 𝑦 > 2

Hallar el valor de verdad de: 𝑠 = ~[(𝑝 → 𝑞) ∧ (𝑞 ∨∼ 𝑟)]

Solución:

(𝑥 + 2 = 6) = (4 + 2 = 6) 𝑒𝑠 𝑉
En p: para 𝑥 = 4 ∈ 𝐴 → {
(𝑥 − 5 = 8) = (4 − 5 = 8) 𝑒𝑠 𝐹

Luego: 𝑉(𝑝) = 𝑉(𝑉 → 𝐹) = 𝐹

En q se tiene: (𝑥 > 0) ∨ (𝑥 < 0) Todo elemento de A satisface x>0, mas no x<0

Por tanto: 𝑉(𝑞) = 𝑉(𝑉 ∨ 𝐹) = 𝑉

En r, si 𝑦 = 2 ∈ 𝐴 → 𝑥 + 2 > 2 tiene como solución el conjunto A, o sea V(r)=V

En consecuencia: 𝑉(𝑠) = ~[(𝐹 → 𝐹) ∧ (𝑉 ∨ 𝐹)] = 𝐹

9. Negar los siguientes enunciados:

i) ∃𝑥, ∀𝑦: [𝑝(𝑥, 𝑦) → 𝑞(𝑥, 𝑦)]


ii) ∀𝑦, ∃𝑥, ∀𝑧: 𝑝(𝑥, 𝑦, 𝑧)

Solución:

Para i)

~[∃𝑥, ∀𝑦: [𝑝(𝑥, 𝑦) → 𝑞(𝑥, 𝑦)]]

≡ ∀𝑥, ∃𝑦 ∶ ~[𝑝(𝑥, 𝑦) → 𝑞(𝑥, 𝑦)]

Aplicando “condicional y Morgan”

15
≡ ∀𝑥, ∃𝑦 ∶ 𝑝(𝑥, 𝑦) ∧ ~𝑞(𝑥, 𝑦)

Para ii)

~[∀𝑦, ∃𝑥, ∀𝑧: 𝑝(𝑥, 𝑦, 𝑧)]

≡ ∃𝑦, ∀𝑥, ∃𝑧: ~𝑝(𝑥, 𝑦, 𝑧)

10. Escribir simbólicamente las proposiciones:

r: “para cada entero n, si n es par entonces 𝑛2 + 19 es primo”

s: “existe un número real x tal que 𝑥/(𝑥 2 + 1) = 2/5

Solución:

Para la proposición r:

Universo: los números enteros,

𝑝(𝑛): "𝑛 𝑒𝑠 𝑝𝑎𝑟" 𝑦 𝑞(𝑛): "𝑛2 + 19 𝑒𝑠 𝑝𝑟𝑖𝑚𝑜"

𝑟: ∀𝑛 [𝑝(𝑛) → 𝑞(𝑛)]

Para la proposición s:

Universo: los números reales, 𝑡(𝑥): " 𝑥/(𝑥 2 + 1) = 2/5"

𝑠: ∃𝑥 𝑡(𝑥)

11. 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:

𝐺𝑥 ↔ 𝑥 𝑒𝑠 𝑢𝑛 𝑔𝑎𝑡𝑜

𝐶𝑥 ↔ 𝑥 𝑡𝑖𝑒𝑛𝑒 𝑐𝑜𝑙𝑎

∴ (∀𝑥): 𝐺𝑥 → 𝐶𝑥

16
12. 𝑺𝒆𝒂𝒏 𝑯 = {𝒋𝒖𝒂𝒏, 𝒍𝒖𝒊𝒔, 𝒓𝒖𝒃𝒆𝒏} 𝒚 𝑴 = {𝒄𝒂𝒓𝒎𝒆𝒏, 𝒑𝒂𝒕𝒓𝒊𝒄𝒊𝒂} y la función
proposicional: “x es el hermano de y”. Entonces: ∀𝒙 ∈ 𝑯, ∃𝒚 ∈ 𝑴: 𝒑(𝒙, 𝒚)

Significa: “para todo x de H existe un y de M tal que x es el hermano de y” es decir todo


el elemento de H es el hermano o bien de Carmen o bien de patricia.

En cambio: ∃𝑦 ∈ 𝑀, ∀𝑥 ∈ 𝐻: 𝑝(𝑥, 𝑦)

Significa: “existe un y de M para todo x de H tal que y es hermano de x” es decir, afirma


que al menos una de las mujeres de M es hermana de todos los hombres de H.

Como se puede observar, el orden diferente de los cuantificadores da lugar a una


proposición diferente.

La negación de: ∀𝑥 ∈ 𝐻, ∃𝑦 ∈ 𝑀: 𝑝(𝑥, 𝑦)

Es: ~[∀𝑥 ∈ 𝐻, ∃𝑦 ∈ 𝑀: 𝑝(𝑥, 𝑦)] ≡ ∃𝑥 ∈ 𝐻, ∀𝑦 ∈ 𝑀: ~𝑝(𝑥, 𝑦)

Significa: “es falso que todo hombre de H es el hermano de al menos una mujer de M”

Y es equivalente a: “al menos uno de los hombres de H no es el hermano de ninguna


mujer de M”.

13. Sean las proposiciones p, q y r, dadas por:

𝑝: "∀𝑦 ∈ 𝑁, ∃𝑥 ∈ 𝑁: 𝑥 > 𝑦 ʌ 𝑥 𝑒𝑠 𝑝𝑎𝑟"

𝑞: "∃𝑥 ∈ 𝑁, ∀𝑦 ∈ 𝑁: 𝑦 < 𝑥"

𝑟: "∀𝑥 ∈ 𝑁, ∀𝑦 ∈ 𝑁: 𝑥 + 𝑦 > 𝑥"

SOLUCIÓN:

i. Tener en cuenta que 𝑁 = {0,1,2,3, … }


ii. 𝑝: "𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑦 ∈ 𝑁, ℎ𝑎𝑦 𝑎𝑙 𝑚𝑒𝑛𝑜𝑠 𝑢𝑛 𝑥 ∈ 𝑁: 𝑥 > 𝑦 ʌ 𝑥 𝑒𝑠 𝑝𝑎𝑟"
𝑝𝑎𝑟𝑎 𝑦 = 0, ℎ𝑎𝑦 𝑥 = 2 𝑡𝑎𝑙 𝑞𝑢𝑒 2 > 0 𝑒𝑠 𝑉
𝑝𝑎𝑟𝑎 𝑦 = 1, ℎ𝑎𝑦 𝑥 = 2 𝑡𝑎𝑙 𝑞𝑢𝑒 2 > 1 𝑒𝑠 𝑉
𝑝𝑎𝑟𝑎 𝑦 = 2, ℎ𝑎𝑦 𝑥 = 4 𝑡𝑎𝑙 𝑞𝑢𝑒 4 > 2 𝑒𝑠 𝑉
Para todo y ∈N, siempre será posible encontrar algún x par tal que 𝑥 > 𝑦
Luego p es V.
iii. 𝑞: "𝐻𝑎𝑦 𝑎𝑙 𝑚𝑒𝑛𝑜𝑠 𝑥 ∈ 𝑁, 𝑡𝑎𝑙 𝑞𝑢𝑒, 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑦 ∈ 𝑁 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒: 𝑦 < 𝑥"
17
Si probamos con X = 0, “𝑦 < 0, ∀𝑦 ∈ 𝑁” es F.
No va a ser posible encontrar algún 𝑥 ∈ 𝑁, tal que 𝑦 < 𝑥, ∀𝑦 ∈ 𝑁
Luego, q es F
iv. 𝑟: 𝑎𝑙 𝑠𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑟 y>0, ∀ y ∈N, es F, falla con y = 0
Luego, r es F.

14. Determinar el valor de verdad de:

𝑝: ∀𝑥 ∈ 𝑄, ∃𝑦 ∈ 𝑄, 𝑥 + 𝑦 = 0
𝑞: ∃𝑦 ∈ 𝑄, ∀𝑥 ∈ 𝑄: 𝑥 + 𝑦 = 0
SOLUCIÓN:
En 𝑝: 𝑠𝑖 𝑥 = 2, "∃ y ∈ Q/ 2+y=0 𝑒𝑠 𝑉"
3 3
𝑠𝑖 𝑥 = − 5 , "∃ y ∈ Q/ − 5 +y=0 𝑒𝑠 𝑉"

“Para cualquier x∈ Q existe su opuesto y=-x, tal que x + y=0”


Por tanto: p es V.
1 1
En 𝑞: 𝑠𝑖 𝑦 = 2 , x+ 2 =0, ∀ x ∈ Q 𝑒𝑠 𝐹

Por tanto: q es F

15. Simbolizar mediante cuantificadores:

a) Existe un número entero mayor a todos los otros.


b) El producto de dos números reales cualesquiera son siempre nulo.
c) Hay algún 𝑦∈ N, tal que 𝑦 ≠ 0

SOLUCION:

a) ∃y ∈Z/x>∞
b) ∀𝑥 ∈ 𝑅: 2. 𝑥 = 0
c) ∃y ∈N/𝑦 ≠ 0

16. Determine el valor de verdad de las siguientes proposiciones:

a) (∀𝑥 ∈ 𝑅)(∃𝑦 ∈ 𝑅)(𝑥𝑦 = 1)


b) (∃𝑥 ∈ 𝑅)(∃𝑦 ∈ 𝑅)(𝑥𝑦 = 1)

SOLUCION:

a) 𝑠𝑖 𝑥 = 0 → ∄𝑦 ∈ 𝑅
Tal que: 0. y=1

18
Es F
1
b) Si 𝑥 = 2 ∈ 𝑅, 𝑦 = 2 ∈ 𝑅

Tal que 𝑥𝑦 = 1
Es V

17. Dada la proposición: Si algunos números son impares, todos los triángulos son
equiláteros. a) Expresar simbólicamente la proposición b) Negar oracionalmente la
proposición

SOLUCION:

Sea p(x): números son impares

q(x): los triángulos son equiláteros

a) x  N / p( x)  y T / q(x)


b) x  N / p( x)  y T / q(x) = x  N / p( x)  y T / q(x)
c) Algunos números son impares y algunos triángulos no son equiláteros

18. Hallar el valor de verdad de las siguientes proposiciones

a)(∃𝒙𝝐𝑵, |𝒙| ≠ 𝟎) → (∀𝒙𝝐 𝑸, |𝒙| ≠ 𝟎)

b) (∀𝒙𝝐𝑹, 𝒙𝟐 ≠ 𝒙) 𝑽 (∃𝒙𝝐𝒁, 𝒙 + 𝟏 ≠ 𝒙 − 𝟏)

Solución

a) V → F=F
b) F v V=V

19. Simbolizar usando cuantificadores y negar la proposición cuantificada.

a) Para todo 𝝐 > 𝟎 , hay un 𝒚 > 𝟎 tal que para todo número x, si x esta entre los
números a-y y a+y entonces f(x) está entre los números L-  y L+ 

SOLUCION:

∀𝝐 > 𝟎 , ∃𝒚 > 𝟎 / ∀𝒙, (𝒂 − 𝒚 < 𝒙 < 𝒂 + 𝒚) → (𝑳−∈< 𝒇(𝒙) < 𝑳+∈)

19
∃𝝐 > 𝟎 , ∀𝒚 > 𝟎/∃𝒙, (𝒂 − 𝒚 < 𝒙 < 𝒂 + 𝒚) 𝚲 (𝑳+∈≤ 𝒇(𝒙) ≤ 𝑳−∈)

20. Sean A={𝟒, 𝟐, 𝟑, 𝟏} B={𝟓, 𝟏, 𝟒, 𝟖}. Cuáles de las afirmaciones siguientes son
verdaderas.

a) ∀𝒙𝝐𝑨, ∀𝒚𝝐𝑩/ 𝒙 + 𝒚 < 𝟏𝟎

Para x=4 y y=8 12<10 es falsa

b) ∀𝒙𝝐𝑩, ∃𝒚𝝐𝑨/ 𝒙 − 𝒚 ∈ 𝑨

Para x=1 y y=2 -1𝜖 A es falsa

c) ∃𝒙𝝐𝑨, ∀𝒚𝝐𝑩/ 𝒙 ≤ 𝒚

Para y=1 y x=1 1≤1 es verdadera

20

También podría gustarte