Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1
INDICE
LOGICA CUANTIFICACIONAL
1. FUNCION PROPOSICIONAL………………………………………………3
5. CUADRO DE OPOSICIÓN…………………………………………………..6
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: 𝑥 ∈ 𝐷
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:
3
Si a esta función proposicional anteponemos la locución “para todo x” obtenemos:
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í:
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:
Y se lee:
4
El símbolo ∃ que significa: “existe” o “para algún” o “para al menos un”, se llama
cuantificador existencial o particular.
∀𝑥𝜖𝐴: 𝑝(𝑥)
∃𝑥𝜖𝐴: 𝑝(𝑥)
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.
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:
Sea la proposición:
Entonces la expresión ∀𝑥: 𝑝(𝑥), es evidente que es falsa, y por lo tanto queremos afirmar
su negación:
~[∀x: p(x)]
Que se lee:
Y significa:
8
“Existe por lo menos un planeta que no es habitable” o bien:
9
VII. FUNCIONES LOGICAS QUE CONTIENEN MAS DE UNA VARIABLE
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:
∀𝑥: 𝑥 + 𝑦 + 𝑧 = 1
∃𝑦: ∀𝑥: 𝑥 + 𝑦 + 𝑧 = 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”
𝑥 + 𝑦0 − 3 = 1 ↔ 𝑦0 + 𝑥 = 4
𝑦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
Nota. La negación de una proposición cuantificada que contiene más de una variable
puede averiguarse así:
11
PRACTICA
Solución:
∀𝑥 ∈ 𝐴 , ∀𝑦 ∈ 𝐵, 4𝑥 2 + 𝑦 2 ≤ 17………………………………es V.
𝐵 𝑥2
∀𝑥 ∈ 𝐴, ∃𝑦 ∈ 1 − ≤ 𝑦 2 + 1 < 2…………………………….. es V.
4
p: ∀𝑥 ∈ 𝑄, ∃𝑦 ∈ 𝑄 , 𝑥 + 𝑦 = 0
q: ∃𝑦 ∈ 𝑄 , ∀𝑥 ∈ 𝑄, 𝑥 + 𝑦 = 0
Solución:
3 3
Si 𝑥 = − 5 , "∃y ∈ Q/- 5 +y=0" … … … … … 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜.
Por tanto: p es V.
1 1
En q: si 𝑦 = 2 , "𝑥 + 2 = 0, ∀𝑥 ∈ 𝑄" 𝑒𝑠 𝐹.
Por tanto: q es F.
12
Deducir y fundamentar el valor de verdad de cada una de dichas proposiciones.
Solución:
Para todo 𝑦 ∈ 𝑁 , siempre será posible encontrar algún x para tal que 𝑥 > 𝑦.
Luego, p es V.
Luego, q es F.
Solución:
13
5.- Negar la proposición “para todo número racional r existe un numero entero n tal que
𝑛 ≤ 𝑟 < 𝑛 + 1”
Solución:
𝑝 = ∀𝑟 ∈ 𝑄, ∃𝑛 ∈ 𝑍\𝑛 ≤ 𝑟 < 𝑛 + 1
Entonces:
~𝑝 = ~[∀𝑟 ∈ 𝑄, ∃𝑛 ∈ 𝑍\𝑛 ≤ 𝑟 < 𝑛 + 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
Entonces:
~𝑝 = ∃𝑥 ∈ 𝑅, ∀𝑀 ∈ 𝑍\𝑥 < 𝑀 ∧ 𝑥 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
Solución.
14
𝑞(𝑥) =Números positivos mayores que -1
≡ ∀𝑥[𝑝(𝑥)] ∧ ∃𝑥[𝑝(𝑥)]
𝑝 = ∃𝑥 ∈ 𝐴\(𝑥 + 2 = 6) → (𝑥 − 5 = 8)
𝑞 = ∀𝑥 ∈ 𝐴\(𝑥 + 2 > 2)
𝑟 = ∃𝑥 ∈ 𝐴(𝑥 + 𝑦 > 2
Solución:
(𝑥 + 2 = 6) = (4 + 2 = 6) 𝑒𝑠 𝑉
En p: para 𝑥 = 4 ∈ 𝐴 → {
(𝑥 − 5 = 8) = (4 − 5 = 8) 𝑒𝑠 𝐹
Solución:
Para i)
15
≡ ∀𝑥, ∃𝑦 ∶ 𝑝(𝑥, 𝑦) ∧ ~𝑞(𝑥, 𝑦)
Para ii)
Solución:
Para la proposición r:
𝑟: ∀𝑛 [𝑝(𝑛) → 𝑞(𝑛)]
Para la proposición s:
𝑠: ∃𝑥 𝑡(𝑥)
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: ∀𝒙 ∈ 𝑯, ∃𝒚 ∈ 𝑴: 𝒑(𝒙, 𝒚)
En cambio: ∃𝑦 ∈ 𝑀, ∀𝑥 ∈ 𝐻: 𝑝(𝑥, 𝑦)
Significa: “es falso que todo hombre de H es el hermano de al menos una mujer de M”
SOLUCIÓN:
𝑝: ∀𝑥 ∈ 𝑄, ∃𝑦 ∈ 𝑄, 𝑥 + 𝑦 = 0
𝑞: ∃𝑦 ∈ 𝑄, ∀𝑥 ∈ 𝑄: 𝑥 + 𝑦 = 0
SOLUCIÓN:
En 𝑝: 𝑠𝑖 𝑥 = 2, "∃ y ∈ Q/ 2+y=0 𝑒𝑠 𝑉"
3 3
𝑠𝑖 𝑥 = − 5 , "∃ y ∈ Q/ − 5 +y=0 𝑒𝑠 𝑉"
Por tanto: q es F
SOLUCION:
a) ∃y ∈Z/x>∞
b) ∀𝑥 ∈ 𝑅: 2. 𝑥 = 0
c) ∃y ∈N/𝑦 ≠ 0
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:
b) (∀𝒙𝝐𝑹, 𝒙𝟐 ≠ 𝒙) 𝑽 (∃𝒙𝝐𝒁, 𝒙 + 𝟏 ≠ 𝒙 − 𝟏)
Solución
a) V → F=F
b) F v V=V
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.
b) ∀𝒙𝝐𝑩, ∃𝒚𝝐𝑨/ 𝒙 − 𝒚 ∈ 𝑨
c) ∃𝒙𝝐𝑨, ∀𝒚𝝐𝑩/ 𝒙 ≤ 𝒚
20