Вы находитесь на странице: 1из 48

ESQUEMAS

PROPOSICIONALES
Ing. Magno Edwin Calizaya A.
ESQUEMAS PROPOSICIONALES EN UNA
VARIABLE
Definicin.- Un Esquema Proposicional es una variable es toda
expresin que tiene una variable y hay por lo menos un elemento del
Universo que al reemplazar por la variable se convierte en una
proposicin.
Notacin.- Para designar E.P. en una variable se utilizan smbolos 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

Definicin.- El valor del E.P., F[x] para la constante a es la expresin


obtenida de F[x] reemplazando x por a.

Notacin.- 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 proposicin verdadera)
x=2 F[2] = 2+7=14 (se convierte en una proposicin falsa)
x=Blooming F[Blooming ] = Blooming +7=14 (expresin 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 proposicin verdadera)
x=Mara F[Mara] = Mara es aficionado de Blooming (se
convierte en una proposicin falsa)
x=7 F[7] = 7 es aficionado de Blooming (expresin carente de
sentido)
NOTA
El valor de verdad de una proposicin puede ser Verdad o Falso
El valor de Verdad de un Esquema proposicional puede ser
proposicin o expresin carente de sentido
El valor de una variable es una constante (nombre)
Operaciones Lgicas con Esquemas
Proposicionales en una Variable
Operacin Lgica
NOTACION OBS.
con E.P.
La negacin de un E.P. , resulta
Negacin F[x]
siempre otro E.P.
Conjuncin F[x] G[x] La Conjuncin,
Disyuncin F[x] v G[x] Disyuncin, 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 Lgicas con
Esquemas Proposicionales en una Variable
Sea: F[x] = x es ingeniero, G[x] = x estudia y H[x] = x+1=7
Negacin F[x]= x no es ingeniero Es un nuevo E.P.
Conjuncin F[x] G[x] = x es ingeniero y x estudia Es un nuevo E.P.
Conjuncin F[x] H[x] = x es ingeniero y x + 1 = 7 No es nuevo E.P.
Disyuncin : F[x] V G[x] = x es ingeniero o x estudia Es un nuevo E.P.
Disyuncin : 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 tambin
en las operaciones con esquemas proposicionales.
Las reglas de inferencia para las proposiciones tambin se admiten con los
esquemas proposicionales.
Por ejemplo Modus Ponendo Ponens:

P[x] Q[x]
P[x]
-----------------------------
Q[x]
CUANTIFICADORES U OPERADORES
Cuantificador Universal
Definicin.- 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.
Notacin.- 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
Definicin.- 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.
Notacin.- x: P[x]
Lecturas.- x: P[x]
se lee Existe por lo menos un x, tal que P[x] es verdadero
Para algn x, P[x] es verdadero
Hay algn x, para al cual P[x] es verdadero
Existe por lo menos un x, tal que P[x]
Para algn 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 nmero impar


x: G[x] se lee Existe por lo menos un nmero que es impar
Cuantificador Existencial - Ejemplo
F[x] = x es un nmero impar anteponiendo el cuantificador existencial en la variable x, se tiene la
proposicin universal x: F[x] = x, x es un nmero impar , se lee:
Existe por lo menos un x, x es un nmero impar ,
Para algn x, x es un nmero impar
Hay algn x, tal que x es un nmero impar
O simplemente
Existe por lo menos un nmero que es impar ,
Hay algn nmero que es impar
Algn nmero 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 negacin de una proposicin cuantificada universalmente es equivalente a la negacin del
E.P. Cuantificado por el operador existencial.
En smbolos
~ (x, F[x]) <=> (x: ~ F[x])
b) La negacin de una proposicin cuantificada existencialmente es equivalente a la negacin del
E.P. Cuantificado por el operador existencial.
~ (x: F[x]) <=> (x,~ F[x])
Ej.: la negacin de x: x + 3 = 7 es:

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


x, x + 3 7
Expresiones de doble accin, usadas con frecuencia: No, nada, nadie, ninguno, ningn ,
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 proposicin dada tenemos: x,~ F[x]

Ej: sea Ningn 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 proposicin dada tenemos: x,~ H[x]
Ejemplos
P[x] =x es un numero impar
1) : []=existe algn numero que es impar
~(: [])(x, P[x]) = Todos los nmeros no son impares

2) , [] =todos los nmeros son impares


~ , [] (x, P[x])=Existe algn nmero 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) Proposicin singular F[a]
2) Proposicin general universal : x, F[x]
3) Proposicin 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) Contrarrecproca x , ( ~ G[x] ~ F[x])
PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGRICAS
1. Universal Afirmativa
Su smbolo 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 tringulo equiltero (3 lados)
G[x] = "x es tringulo issceles (2 lados iguales..)
F[x] G[x]= "Si x es un triangulo equiltero, entonces x es triangulo issceles"
x, (F[x] G[x]) = "Todos los tringulos equilteros son issceles"
(x, (F[x] G[x]))= V
PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGRICAS
1.2. Universal negativa
Su smbolo es E , letra vocal derivada de la palabra latina nego
Su estructura es Ningn S es P ,
Su forma cuantificacional es x, (F[x] G[x])
Ej: F[x]= "x es un tringulo equiltero"
G[x] = " x es tringulo issceles"
F[x] G[x]= "Si x es un triangulo equiltero, entonces x no es issceles"

x, (F[x] G[x]) = "Ningn tringulos equilteros es issceles"


(x, (F[x] G[x]))= F
PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGRICAS
1.3. Particular Afirmativa
Su smbolo es "I ", 2da letra vocal derivada de la palabra latina Affirmo
Su estructura es "Algn 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 tringulo equiltero"
G[x] = "x es tringulo issceles"
F[x] G[x]= "x es un triangulo equiltero, e issceles"
x, (F[x] G[x]) = Algunos tringulos equilteros son issceles"
(x, (F[x] G[x]) )= V
PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
1. PROPOSICIONES CATEGRICAS
1.4. Particular negativa
Su smbolo es "O ", ultima vocal derivada de la palabra latina nego
Su estructura es "Algn S es no P",
Su forma cuantificacional es x, (F[x] G[x])
Ej: F[x]= "x es un tringulo equiltero"
G[x] = "x es tringulo issceles"
F[x] G[x]= x es un triangulo equiltero, mas no issceles"
x, (F[x] G[x]) = "Algunos tringulos equilteros no son issceles"
(x, (F[x] G[x]))= F
PROPOSICIONES CATEGORICAS Y NO
CATEGORICAS
2. PROPOSICIONES NO CATEGRICAS
1.Hay casos en que las proposiciones generales no categricas son generadas por mas de dos
esquemas proposicionales
Ej: P[x]= "x es una comida"
Q[x] = "x es crucea "
S[x]= "x es deliciosa"
x, [(P[x] Q[x]) S[x] ] = "Todas las comidas cruceas son deliciosas"
2.Tambin existen otros casos en que las proposiciones generales no categricas se diferencian de
las categricas, porque en su generacin aparecen otros conectivos distintos de la negacin,
conjuncin y condicional
Ej: P[x]= "x es un nmero racional"
Q[x] = "x es un nmero fraccionario
S[x]= x es un nmero entero"
x, (P[x] ( Q[x]) v S[x] )) = Los nmeros 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
Definicin: 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 expresin en una
proposicin.
Notacin: 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 nmeros 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
Definicin El valor de un E.P. en dos variables F[x,y] para x=a, y=b es la
expresin obtenida al sustituir la variable x por la constante a y la
variable y por la constante b.
Notacin.- 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 Proposicin Verdadera
Si x = 8 y = 3 F[8,3] = 8 es divisible por 3 Proposicin Falsa
Si x = 9 y = Mara F[9,Maria] = 9 es divisible por Mara
Expresin Carente de Sentido.
Cuantificacin 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
proposicin sino un E.P. en la variable no cuantificada.
, ,
: [, ]
: ,
: ,
Cuantificacin Doble de un E.P. en dos
variables
Todo E.P. en dos variables precedido de cuantificadores, uno para
cada variable es una proposicin, asume uno de los valores de
verdad Verdadero o falso.
, , ,
Cuantificacin Homognea
: : ,
, : [, ]
: , , Cuantificacin Heterognea
, , [, ]
; : ,
Cuantificacin 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 proposicin usando cuantificadores:
, : ,
Cuantificacin Doble de un E.P.
en dos variables - Ejemplos
Dada la proposicin 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
Negacin de Proposiciones doblemente
cuantificadas

~ : : , , , ~[, ]
~ , , , : : ~ ,
~ , : , : , ~ ,
~ , , , , : ~ ,
~ , : , : , ~ ,
~ : , , , : ~[, ]
Negacin de Proposiciones Doblemente
Cuantificadas Ejemplos
Proposicion =Todos ayudan a alguien
Esquema proposicional en dos variables F[x,y] =x ayuda a y
Simbolizando la proposicin usando cuantificadores:
, : ,
Negando la proposicin dada
~ , : , : : ~ ,
Se lee: No es cierto que alguien ayuda a todos
Leyes de la lgica cuantificacional
Leyes de intercambio de cuantificadores (I.C.)
~ , : ~
~ , : ~
, ~: ~
: ~: ~
, , , ~ : : ~ ,
: : , ~ , : ~[, ]
~ , , , : : ~ ,
~ : : , , : ~[, ]
Leyes de la lgica cuantificacional
Distributividad de los cuantificadores (D.C.)
, ( ) (, , [])
, , ,
, , ,
: ( ) (, , )
Leyes de la lgica cuantificacional
Conmutatividad de cuantificadores (C.C.)
, , , , , ,
: : , : : ,

, , , , , ,
: : , : : ,
Leyes de la lgica cuantificacional
Leyes de oposicin aristotlica (O A)
, ~: ~
, ~ ~:
, ~, ~
, ~ ~,
Ley del silogismo categrico (S C)
[ , , ] (,
Leyes fundamentales de la Lgica
Cuantificacional
Especificacin Universal (E.U.)
,[] ,[]
o
[] [])
Generalizacin Universal (G.U.)
[] []
o
,[] ,[]
Especificacin Existencial (E.E.)
:[] :[]
o
[] []
Generalizacin Existencial (G.E.)
[] []
o
,[] ,[]
Leyes de lgica cuantificacional
Ley de subalteracin (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.- Supresin de cuantificadores, mediantes reglas introducidas.
3- Aplicacin de reglas de inferencia proposicional para obtener la
conclusin deseada sin cuantificadores.
4.- Adicin de cuantificadores para deducir la conclusin 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 supresin de cuantificadores
3 Aplicacin de Reglas de inferencia
4) B [ j ] MP 2,3
4 Adicin 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 supresin de cuantificadores
5) B[ j ] L[ j ] EU2
6) B[ j ] MP 3,4 pq, p = q
7) L[j] MP 5,6 pq, p = q 3 Aplicacin de Reglas de inferencia
4 Adicin 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 pq=p
9) 8<9 -9<-8 S7 pq=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 SIMBLICA Y TEORA DE CONJUNTOS 5ta Edicin Autor:
Braulio Cceres Ch.
Algebra I Autor: Pedro Gutirrez F.