ESQUEMAS

PROPOSICIONALES
Ing. Magno Edwin Calizaya A.
 ESQUEMAS PROPOSICIONALES EN UNA
VARIABLE
• Definición.- Un Esquema Proposicional es una variable es toda
expresión que tiene una variable y hay por lo menos un elemento del
Universo que al reemplazar por la variable se convierte en una
proposición.
Notación.- Para designar E.P. en una variable se utilizan símbolos tales
como :
F[x], G[x], H[x], ……. Se lee F de x, G de x , H de x
F[y], G[y], H[y], ……. Se lee F de y, G de y, H de y
F1[x], F2[x], F3[x], ……. Se lee F sub uno de x, F sub 2 de x , f sub 3 de x
 Ejemplos de Esquemas Proposicionales
• Ejemplo:
“ x es un hincha de Oriente Petrolero”
“ y es un departamento de Bolivia”
“ z + 7 = 77 ”

• F[x] = “x es un hincha de Oriente Petrolero ”

• G[y] = “y es un departamento de Bolivia”
• H[z] = “z + 7 = 77”
 Ejemplos de Expresiones que no son
Esquemas Proposicionales
• Ejemplo:

• ¿x es un numero primo?

• ¡Viva x !
 Valor de un Esquema Proposicional

• Definición.- El valor del E.P., F[x] para la constante a es la expresión

obtenida de F[x] reemplazando x por a.

• Notación.- F[a] se lee “Valor del E.P. F[x] para x = a”

• Ejemplo Dado F[x] =“x + 7 = 14” , se tiene
• x=7  F[7] = “7+7=14” (se convierte en una proposición verdadera)
• x=2  F[2] = “2+7=14” (se convierte en una proposición falsa)
• x=Blooming  F[Blooming ] = “Blooming +7=14” (expresión carente de
sentido)
…Valor de un Esquema Proposicional
• Otro Ejemplo
• Dado F[x] =“x es aficionado de Blooming” , se tiene
• x=Juan  F[Juan] = “Juan es aficionado de Blooming” (se convierte
en una proposición verdadera)
• x=María  F[María] = “María es aficionado de Blooming” (se
convierte en una proposición falsa)
• x=7  F[7] = “7 es aficionado de Blooming” (expresión carente de
sentido)
NOTA
• El valor de verdad de una proposición puede ser Verdad o Falso
• El valor de Verdad de un Esquema proposicional puede ser
proposición o expresión carente de sentido
• El valor de una variable es una constante (nombre)
 Operaciones Lógicas con Esquemas
Proposicionales en una Variable
Operación Lógica
NOTACION OBS.
con E.P.
La negación de un E.P. , resulta
Negación ̴ F[x]
siempre otro E.P.
Conjunción F[x] Λ G[x] La Conjunción,
Disyunción F[x] v G[x] Disyunción, Condicional, y
Bicondicional de dos E.P.
Condicional F[x]  G[x]
no siempre resulta otro
Bicondicional F[x] ↔ G[x] E.P.
 Ejemplo de Operaciones Lógicas con
Esquemas Proposicionales en una Variable
• Sea: F[x] = “x es ingeniero”, G[x] = “x estudia” y H[x] = “x+1=7”
• Negación ̴ F[x]= “x no es ingeniero” • Es un nuevo E.P.
• Conjunción F[x] Λ G[x] = “x es ingeniero y x estudia” • Es un nuevo E.P.
• Conjunción F[x] Λ H[x] = “x es ingeniero y x + 1 = 7” • No es nuevo E.P.
• Disyunción : F[x] V G[x] = “x es ingeniero o x estudia” • Es un nuevo E.P.
• Disyunción : F[x] V H[x] = “x es ingeniero o x + 1 = 7” • No es nuevo E.P.
• Condicional F[x]  G[x] = “Si x es ingeniero entonces x estudia”• Es un nuevo E.P.
• Condicional F[x]  H[x] = “Si x es ingeniero entonces x + 1 = 7” • No es nuevo E.P.
• Bicondicional F[x]↔G[x] = “x es ingeniero si y solo si x estudia” • Es un nuevo E.P.
• Bicondicional F[x]↔H[x] = “x es ingeniero si y solo si x + 1 = 7” • No es nuevo E.P.
 Propiedades
• Las propiedades de las operaciones con proposiciones se cumplen también
en las operaciones con esquemas proposicionales.
• Las reglas de inferencia para las proposiciones también se admiten con los
esquemas proposicionales.
• Por ejemplo Modus Ponendo Ponens:

P[x]  Q[x]
P[x]
-----------------------------
Q[x]
CUANTIFICADORES U OPERADORES
 Cuantificador Universal
• Definición.- El cuantificador universal está simbolizada por ∀ asociado
a la variable de un E.P. que indica todos los elementos del universo
tienen los atributos mencionados en el E.P.
• Notación.- ∀x , P[x]
• Lecturas
“para todo x, P[x] es verdadero”
“Cualquiera sea x, P[x] es verdadero”
“Para cada x, P[x] es verdadero”
“Para todo x, P[x]”
 Cuantificador Existencial
• Definición.- El cuantificador existencial está simbolizado por ∃ que
asociado a la variable de un E.P. indica al menos un elemento del universo
tiene los atributos enunciados en el E.P.
• Notación.- ∃x: P[x]
• Lecturas.- ∃x: P[x]
• se lee “Existe por lo menos un x, tal que P[x] es verdadero”
• “Para algún x, P[x] es verdadero”
• “Hay algún x, para al cual P[x] es verdadero”
• “Existe por lo menos un x, tal que P[x]”
• “Para algún x, P[x]”
 Cuantificador Universal y Existencial -
Ejemplo
• P[x] =“x es trabajador” U=“Seres humanos”
• ∀x , P[x] se lee “todos los seres humanos son trabajadores”

• Si G[x] =“x es un número impar”

• ∃x: G[x] se lee “Existe por lo menos un número que es impar”
 Cuantificador Existencial - Ejemplo
F[x] = ” x es un número impar“ anteponiendo el cuantificador existencial en la variable x, se tiene la
proposición universal ∃x: F[x] = ” ∃x, x es un número impar “ , se lee:
“Existe por lo menos un x, x es un número impar ”,
“Para algún x, x es un número impar ”
“Hay algún x, tal que x es un número impar ”
O simplemente
“Existe por lo menos un número que es impar ”,
“Hay algún número que es impar ”
“Algún número que es impar ”

Determinar el valor de verdad

ϑ(∃x, F[x] )= V
 VARIABLES LIBRES Y VARIABLES LIGADAS
Variable libre (variable real).- Es la variable que se encuentra en un E.P. que no va
precedida por un cuantificador que contiene una letra de la misma forma.

Ej.: En P[x]  Q[x] , x es una variable libre.

Variable ligada (variable aparente).- Es la variable que se encuentra en un E.P.

que va precedida por un cuantificador que contiene una letra de la misma
forma que la variable.

Ej.: ∀x, (F[x]  G[x]), x es la variable ligada y F[x]  G[x] es el alcance del
cuantificador universal.
NEGACION DE ENUNCIADOS CUANTIFICADOS
a) La negación de una proposición cuantificada universalmente es equivalente a la negación del
E.P. Cuantificado por el operador existencial.
En símbolos
~ (∀x, F[x]) <=> (∃x: ~ F[x])
b) La negación de una proposición cuantificada existencialmente es equivalente a la negación del
E.P. Cuantificado por el operador existencial.
~ (∃x: F[x]) <=> (∀x,~ F[x])
Ej.: la negación de ∃x: x + 3 = 7 es:

~ (∃x: x + 3 = 7) <=> [∀x,~ (x + 3 = 7 )]

∀x, x + 3 ≠ 7
Expresiones de doble acción, usadas con frecuencia: No, nada, nadie, ninguno, ningún ,
 NEGACION DE ENUNCIADOS CUANTIFICADOS
Ej.: “ Nadie es perfecto “ equivale “ para todo x, x no es perfecto “ definiendo el E.P.
: F[x] = “ x es perfecto”
negando F[x] se tiene ~ F[x] = “ x no es perfecto”
simbolizando la proposición dada tenemos: ∀x,~ F[x]

Ej: sea “ Ningún gato es canino “ equivale “ para todo x, x no es canino”

Definiendo el E.P. H[x] = “x es canino”
negando H[x] se tiene ~ H[x] = “ x no es canino”
simbolizando la proposición dada tenemos: ∀x,~ H[x]
Ejemplos
• P[x] =“x es un numero impar”
• 1) ∃𝑥: 𝑃[𝑥]=“existe algún numero que es impar”
• ~(∃𝑥: 𝑃[𝑥])⇔(∀x, ̴ P[x]) = “Todos los números no son impares”

2) ∀𝑥, 𝑃[𝑥] =“todos los números son impares”

~ ∀𝑥, 𝑃[𝑥] ⇔ (∃x, ̴ P[x])=“Existe algún número que no es impar”
FORMAS DE OBTENER PROPOSICIONES A PARTIR
DE UN E.P. EN UNA VARIABLE
Hay tres probabilidades de obtener proposiciones a partir de un E.P. F[x]
1) Proposición singular F[a]
2) Proposición general universal : ∀x, F[x]
3) Proposición general existencial ∃x: F[x]

A partir de dos E.P. F[x] y G[x], se puede construir las cuatro siguientes proposiciones
cuantificadas:
1) Directa: ∀x , (F[x]  G[x])
2) Reciproca ∀x , (G[x]  F[x])
3) Contraria ∀x , (~ F[x]  ~ G[x])
4) Contrarrecíproca ∀x , ( ~ G[x]  ~ F[x])
 PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGÓRICAS
1. Universal Afirmativa
Su símbolo es “A”, 1° letra vocal derivada de la palabra latina Affirmo
Su estructura es "Todo S es P", donde S significa sujeto y P predicado.
Su forma cuantificacional es ∀x, (F[x]→ G[x])
Ej: F[x]= "x es un triángulo equilátero“ (3 lados)
G[x] = "x es triángulo isósceles“ (2 lados iguales..)
F[x] → G[x]= "Si x es un triangulo equilátero, entonces x es triangulo isósceles"
∀x, (F[x]→ G[x]) = "Todos los triángulos equiláteros son isósceles"
ϑ (∀x, (F[x]→ G[x]))= V
 PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGÓRICAS
1.2. Universal negativa
Su símbolo es ¨E ¨, letra vocal derivada de la palabra latina nego
Su estructura es «Ningún S es P »,
Su forma cuantificacional es ∀x, (F[x]→ ̴ G[x])
Ej: F[x]= "x es un triángulo equilátero"
G[x] = " x es triángulo isósceles"
F[x] → ̴ G[x]= "Si x es un triangulo equilátero, entonces x no es isósceles"

∀x, (F[x]→ ̴ G[x]) = "Ningún triángulos equiláteros es isósceles"

ϑ (∀x, (F[x]→ ̴ G[x]))= F
 PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGÓRICAS
1.3. Particular Afirmativa
Su símbolo es "I ", 2da letra vocal derivada de la palabra latina Affirmo
Su estructura es "Algún S es P", donde S significa sujeto y P predicado
Su forma cuantificacional es ∃x, (F[x]∧ G[x])
Ej: F[x]= "x es un triángulo equilátero"
G[x] = "x es triángulo isósceles"
F[x] ∧ G[x]= "x es un triangulo equilátero, e isósceles"
∃x, (F[x] ∧ G[x]) = “Algunos triángulos equiláteros son isósceles"
ϑ (∃x, (F[x] ∧ G[x]) )= V
 PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGÓRICAS
1.4. Particular negativa
Su símbolo es "O ", ultima vocal derivada de la palabra latina nego
Su estructura es "Algún S es no P",
Su forma cuantificacional es ∃x, (F[x] ∧ ̴ G[x])
Ej: F[x]= "x es un triángulo equilátero"
G[x] = "x es triángulo isósceles"
F[x] ∧ ̴ G[x]= “x es un triangulo equilátero, mas no isósceles"
∃x, (F[x] ∧ ̴ G[x]) = "Algunos triángulos equiláteros no son isósceles"
ϑ (∃x, (F[x] ∧ ̴ G[x]))= F
 PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
2. PROPOSICIONES NO CATEGÓRICAS
1.Hay casos en que las proposiciones generales no categóricas son generadas por mas de dos
esquemas proposicionales
Ej: P[x]= "x es una comida"
Q[x] = "x es cruceña "
S[x]= "x es deliciosa"
∀x, [(P[x] ∧ Q[x]) →S[x] ] = "Todas las comidas cruceñas son deliciosas"
2.También existen otros casos en que las proposiciones generales no categóricas se diferencian de
las categóricas, porque en su generación aparecen otros conectivos distintos de la negación,
conjunción y condicional
Ej: P[x]= "x es un número racional"
Q[x] = "x es un número fraccionario“
S[x]= “x es un número entero"
∀x, (P[x] → ( Q[x]) v S[x] )) = “Los números racionales son fraccionarios o enteros"
 RELACIONES LOGICAS ENTRE PROPOSICIONES
CATEGORICAS

• A -> Universales afirmativas

• E -> Universales negativas
• I -> Particulares afirmativas
• O -> Particulares negativas
ESQUEMAS PROPOSICIONALES
EN DOS VARIABLES
 ESQUEMAS PROPOSICIONALES EN DOS
VARIABLES
Definición: Son expresiones que tienen un predicado que relaciona
entre dos variables (x, y) que representan a un par de elementos que al
ser reemplazados por las variables convierte a la expresión en una
proposición.
Notación: F[x, y] se lee “F de x, y”
Ejemplos de esquemas proposicionales
• F[x, y] = “x es primo de y” U=“los seres humanos”
• G[x, y] =“x es divisible por y” U=“Los números naturales”
ESQUEMAS PROPOSICIONALES EN DOS
VARIABLES
• Ejemplo de expresiones que no son esquemas proposicionales en dos
variables
• y*x
• y+x
• ¿x es Novio de y?
 Valor de un Esquema Proposicional en dos variables
para un par ordenado de valores de las variables
Definición El valor de un E.P. en dos variables F[x,y] para x=a, y=b es la
expresión obtenida al sustituir la variable x por la constante a y la
variable y por la constante b.
Notación.- F[a,b] es el valor de F[x,y] para x=a, y=b
Ejemplo F[x, y] = “x es divisible por y”
• Si x = 9 Ʌ y = 3 → F[9,3] = “9 es divisible por 3” Proposición Verdadera
• Si x = 8 Ʌ y = 3 → F[8,3] = “8 es divisible por 3” Proposición Falsa
• Si x = 9 Ʌ y = María → F[9,Maria] = “9 es divisible por María”
Expresión Carente de Sentido.
Cuantificación simple de un E.P. en dos
variables
• Al cuantificar un E.P. en dos variables, ya sea universalmente o
existencialmente, en una de sus variables, lo que se obtiene no es una
proposición sino un E.P. en la variable no cuantificada.
• ∀𝑥, 𝐹 𝑥, 𝑦
• ∀𝑦: 𝐹[𝑥, 𝑦]
• ∃𝑥: 𝐹 𝑥, 𝑦
• ∃𝑦: 𝐹 𝑥, 𝑦
Cuantificación Doble de un E.P. en dos
variables
• Todo E.P. en dos variables precedido de cuantificadores, uno para
cada variable es una proposición, asume uno de los valores de
verdad Verdadero o falso.
• ∀𝑥, ∀𝑦, 𝐹 𝑥, 𝑦
Cuantificación Homogénea
• ∃𝑥: ∃𝑦: 𝐹 𝑥, 𝑦
• ∀𝑥, ∃𝑦: 𝐹[𝑥, 𝑦]
• ∃𝑦: ∀𝑥, 𝐹 𝑥, 𝑦 Cuantificación Heterogénea
• ∀𝑦, ∃𝑥, 𝐹[𝑥, 𝑦]
• ∃𝑥; ∀𝑦: 𝐹 𝑥, 𝑦
Cuantificación Doble de un E.P.
en dos variables - Ejemplos…
• Proposicion =“Todos ayudan a alguien”
• Esquema proposicional en dos variables F[x,y] =“x ayudan a y”
• Simbolizando la proposición usando cuantificadores:
• ∀𝑥, ∃𝑦: 𝐹 𝑥, 𝑦
Cuantificación Doble de un E.P.
en dos variables - Ejemplos…
• Dada la proposición “Alguien ayuda a todos” se pide simbolizar el E.P.
en dos variables ?
• Esquema proposicional será F[x, y]=“x ayuda a y”
• Cuantificando seria:
• ∃𝑥: ∀𝑦,P[ x , y ] =“existe x tal que, para todo y, x ayuda a todos”
= “Alguien ayuda a todos”
 Negación de Proposiciones doblemente
cuantificadas

•~ ∃𝒙: ∃𝒚: 𝑭 𝒙, 𝒚 ⇔ ∀𝑥, ∀𝑦, ~𝐹[𝑥, 𝑦]

•~ ∀𝒙, ∀𝒚, 𝑭 𝒙, 𝒚 ⇔ ∃𝑥: ∃𝑦: ~𝐹 𝑥, 𝑦
•~ ∀𝒙, ∃𝒚: 𝑭 𝒙, 𝒚 ⇔ ∃𝑥: ∀𝑦, ~𝐹 𝑥, 𝑦
•~ ∃𝒚, ∀𝒙, 𝑭 𝒙, 𝒚 ⇔ ∀𝑦, ∃𝑥: ~𝐹 𝑥, 𝑦
•~ ∀𝒚, ∃𝒙: 𝑭 𝒙, 𝒚 ⇔ ∃𝑦: ∀𝑥, ~𝐹 𝑥, 𝑦
•~ ∃𝒙: ∀𝒚, 𝑭 𝒙, 𝒚 ⇔ ∀𝑥, ∃𝑦: ~𝐹[𝑥, 𝑦]
…Negación de Proposiciones Doblemente
Cuantificadas Ejemplos…
• Proposicion =“Todos ayudan a alguien”
• Esquema proposicional en dos variables F[x,y] =“x ayuda a y”
• Simbolizando la proposición usando cuantificadores:
• ∀𝑥, ∃𝑦: 𝐹 𝑥, 𝑦
• Negando la proposición dada
• ~ ∀𝑥, ∃𝑦: 𝐹 𝑥, 𝑦 ⇔ ∃𝑥: ∀𝑦: ~𝐹 𝑥, 𝑦
• Se lee: “No es cierto que alguien ayuda a todos”
Leyes de la lógica cuantificacional
• Leyes de intercambio de cuantificadores (I.C.)
• ~ ∀𝑥, 𝐹 𝑥 ⇔∃𝑥: ~𝐹 𝑥
• ~ ∃𝑥, 𝐹 𝑥 ⇔∀𝑥: ~𝐹 𝑥
• ∀𝑥, 𝐹 𝑥 ⇔~∃𝑥: ~𝐹 𝑥
• ∃𝑥: 𝐹 𝑥 ⇔~∀𝑥: ~𝐹 𝑥
• ∀𝑥, ∀𝑦, 𝐹 𝑥, 𝑦 ⇔~ ∃𝑥: ∃𝑦: ~𝐹 𝑥, 𝑦
• ∃𝑥: ∃𝑦: 𝐹 𝑥, 𝑦 ⇔~ ∀𝑥, ∀𝑦: ~𝐹[𝑥, 𝑦]
• ~ ∀𝑥, ∀𝑦, 𝐹 𝑥, 𝑦 ⇔∃𝑥: ∃𝑦: ~𝐹 𝑥, 𝑦
• ~ ∃𝑥: ∃𝑦: 𝐹 𝑥, 𝑦 ⇔∀𝑥, ∀𝑦: ~𝐹[𝑥, 𝑦]
…Leyes de la lógica cuantificacional
• Distributividad de los cuantificadores (D.C.)
• ∀𝑥, (𝐹 𝑥 ∧ 𝐺 𝑥 ) ⇔ (∀𝑥, 𝐹 𝑥 ∧ ∀𝑥, 𝐺[𝑥])
• ∃𝑥, 𝐹 𝑥 ∨ 𝐺 𝑥 ⇔ ∃𝑥, 𝐹 𝑥 ∨ ∃𝑥, 𝐺 𝑥
• ∀𝑥, 𝐹 𝑥 ∨ ∀𝑥, 𝐺 𝑥 ⇒ ∀𝑥, 𝐹 𝑥 ∨ 𝐺 𝑥
• ∃𝑥: (𝐹 𝑥 ∧ 𝐺 𝑥 ) ⇒(∃𝑥, 𝐹 𝑥 ∧ ∃𝑥, 𝐺 𝑥 )
…Leyes de la lógica cuantificacional
• Conmutatividad de cuantificadores (C.C.)
• ∀𝑥, ∀𝑦, 𝐹 𝑥, 𝑦 ⇔∀𝑦, ∀𝑥, 𝐹 𝑥, 𝑦
• ∃𝑥: ∃𝑦: 𝐹 𝑥, 𝑦 ⇔∃𝑦: ∃𝑥: 𝐹 𝑥, 𝑦

• ∃𝑥, ∀𝑦, 𝐹 𝑥, 𝑦 ⇒ ∀𝑦, ∃𝑥, 𝐹 𝑥, 𝑦

• ∃𝑦: ∀𝑥: 𝐹 𝑥, 𝑦 ⇒ ∀𝑥: ∃𝑦: 𝐹 𝑥, 𝑦
…Leyes de la lógica cuantificacional
Leyes de oposición aristotélica (O A)
• ∀𝑥, 𝐹 𝑥 → 𝐺 𝑥 ⇔ ~∃𝑥: 𝐹 𝑥 ∧ ~𝐺 𝑥
• ∀𝑥, 𝐹 𝑥 → ~𝐺 𝑥 ⇔ ~∃𝑥: 𝐹 𝑥 ∧ 𝐺 𝑥
• ∃𝑥, 𝐹 𝑥 ∧ 𝐺 𝑥 ⇔ ~∀𝑥, 𝐹 𝑥 → ~𝐺 𝑥
• ∃𝑥, 𝐹 𝑥 ∧ ~𝐺 𝑥 ⇔ ~∀𝑥, 𝐹 𝑥 → 𝐺 𝑥
Ley del silogismo categórico (S C)
• [ ∀𝑥, 𝐹 𝑥 → 𝐺 𝑥 ∧ ∀𝑥, 𝐺 𝑥 → 𝐻 𝑥 ] ⇒ (∀𝑥, 𝐹 𝑥 → 𝐻 𝑥
…Leyes fundamentales de la Lógica
Cuantificacional
• Especificación Universal (E.U.)
∀𝑥,𝐹[𝑥] ∀𝑥,𝐹[𝑥]
• o
𝐹[𝑦] 𝐹[𝑎])
• Generalización Universal (G.U.)
𝐹[𝑦] 𝐹[𝑎]
• o
∀𝑥,𝐹[𝑥] ∀𝑥,𝐹[𝑥]
• Especificación Existencial (E.E.)
∃𝑥:𝐹[𝑥] ∃𝑥:𝐹[𝑥]
• o
𝐹[𝑦] 𝐹[𝑎]
• Generalización Existencial (G.E.)
𝐹[𝑦] 𝐹[𝑎]
• o
∃𝑥,𝐹[𝑥] ∃𝑥,𝐹[𝑥]
…Leyes de lógica cuantificacional
• Ley de subalteración (LSb)
• ∀𝑥, 𝐹 𝑥 ⇒ ∃𝑥, 𝐹 𝑥

• Regla de Identidad (I)

a=b a+c=d
b>c c=e
------- ------------
a>c a+e=d
EJERCICIOS RESUELTOS
Inferencias que implican Cuantificadores
• Para manejar inferencias que impliquen cuantificadores, se siguen los
siguientes pasos:
• 1.- Simbolizar las premisas
• 2.- Supresión de cuantificadores, mediantes reglas introducidas.
• 3- Aplicación de reglas de inferencia proposicional para obtener la
conclusión deseada sin cuantificadores.
• 4.- Adición de cuantificadores para deducir la conclusión pedida con
cuantificadores.
 …Inferencias que implican Cuantificadores
• Todos los hombres son buenos, Juan es Hombre por tanto Juan es
bueno.
• H[x] = “x es hombre”
• B[x] =“x es bueno” 1 simbolizar las premisas
• H[ j ] =“Juan es Hombre”
• B[j] = “Juan es bueno”
• Demostrar B[ j ]
• 1) ∀x, (H[x]  B[x] ) p
• 2) H[ j ] p
• 3) H[ j ]  B[ j ] EU1 2 supresión de cuantificadores
3 Aplicación de Reglas de inferencia …
• 4) B [ j ] MP 2,3
4 Adición de Cuantificadores
 Demostrar el siguiente razonamiento
• “Cada ciudadano de Santa Cruz es boliviano
• Todo boliviano es Latinoamericano
• Juan es de Santa Cruz, Por tanto juan es latinoamericano
• S[x]=“x de Santa Cruz”
• B[x]=“x es Boliviano”
• L[x]=“x es latinoamericano”
• S[j]=“Juan es de Santa Cruz”
• L[j]= “Juan es latinoamericano” 1 simbolizar las premisas
• Demostrar L[j]
• 1) ∀x, (S[x]  B[x] ) p
• 2) ∀x, (B[x]  L[x] ) p
• 3) S[ j ] p
• 4) S[ j ]  B[ j ] EU1 2 supresión de cuantificadores
• 5) B[ j ]  L[ j ] EU2
• 6) B[ j ] MP 3,4 pq, p = q
• 7) L[j] MP 5,6 pq, p = q 3 Aplicación de Reglas de inferencia
4 Adición de Cuantificadores
 EJEMPLOS…
• Demostrar 8 < 10
• 1) ∀x,[x<9 Λ9<10)  x<10]
• 2) ∀x[-9<-x ↔ x<9]
• 3) 9<10
• 4) -9 < -8
• 5) 8<9 Λ 9<10)  8<10 EU 1
• 6) -9<-8 ↔ 8<9 EU 2
• 7) (-9<-8  8<9) Λ (8<9  -9<-8 ) LB p ↔ q= (p  q) Λ (q  p)
• 8) -9<-8  8<9 S7 pΛq=p
• 9) 8<9  -9<-8 S7 pΛq=p
• 10) 8<9 MP 4,8 p  q, p = q
• 11) 8<9 Λ 9<10 A 3,10 p, q = p Λq
• 12) 8<10 MP 5,11 p  q, p = q
 BIBLIOGRAFIA
• ALGEBRA, Autor: Armando O. Rojo.
• LOGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS 5ta Edición Autor:
Braulio Cáceres Ch.
• Algebra I Autor: Pedro Gutiérrez F.