Documente Academic
Documente Profesional
Documente Cultură
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
x es un numero primo?
Viva x !
Valor de un Esquema Proposicional
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
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"
~ : : , , , ~[, ]
~ , , , : : ~ ,
~ , : , : , ~ ,
~ , , , , : ~ ,
~ , : , : , ~ ,
~ : , , , : ~[, ]
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)
, ,