Lgica Simblica

Proposicional:
La proposicin es sinnimo de oracin (declarativa), pero por lo comn se lo emplea
para referirse al significado de las oraciones. Entonces, es similar a lo que tradicionalmente
se conoce como juicio. Se caracteriza, por ende, por afirmar o negar algo y es, pues, o bien
verdadera o bien falsa. Estas se dividen en Atmicas: son aquellas que contienen solo una
proposicin; y Moleculares: son aquellas que contienen ms de una proposicin, unidas por
partculas del lenguaje: conectivas lgicas. La lgica recurre al uso de smbolos llamados
variables: p, q, r, etc; para representar entidades dentro de determinado dominio.
1- Dada una proposicin molecular negativa si P es verdadera, entonces, -P es falsa, y
viceversa.
2- Conjuntiva: solo es verdadera cuando el antecedente y el consecuente son
verdaderos.
3- Disyuntiva Inclusiva: la proposicin m. es falsa cuando el antecedente y el
consecuente son falsos.
4- Disyuncin Exclusiva: es falsa cuando el antecedente y el consecuente tienen el
mismo valor de verdad.
5- Condicional: solo es falsa cuando el antecedente es verdadero y el consecuente es
falso.
6- Bi-condicional: solo es verdadera cuando el antecedente y el consecuente tienen el
mismo valor de verdad.

Las tablas de verdad se clasifican en: tautologa: cuando todas son v; contradictoria:
cuando todas son F; si contiene una almenas una vez la V o la F es Contiengente.
Mtodo del condicional asociado
pq
p

= [(p q) . p] q

q
De Funciones o De Predicados:
La funcin proposicional cuenta con dos elementos: predicados (constantes): F, G, H,
Etc. e individuos (variables): determinadas: a, b, c, etc.; e Indeterminadas: x, y, z. para
transformar una funcin proposicional en una proposicin es preciso sustituir la variable
indeterminado por una determinada: Mx Ma. Tambin, es posible conectar las variables
indeterminadas con un cuantificador: (x) Mx.
Pro. A: Napolen no era francs. -p
Pro. B: Napolen hubiera sido francs si y solo si hubiera nacido en Francia. (p q)
Condicional: B A [(p q)] . q] p
Si ambas proposiciones son de decibles una de otra ambas son equivalentes.
Simbolizacin de las proposiciones categricas
A= (x) (Fx Gx)
E= (x) (Fx Gx)
I = (x) (Fx . Gx)
O= (x) (Fx . Gx)

Predicados mondicos y polidicos

El grado de un predicado est determinado por el nmero de individuos de los cuales
tiene sentido predicarlo. Los mondicos corresponden a propiedades de un individuo,

mientras que los polidicos corresponden a relaciones entre los individuos. Bueno: Fx; Ser
tan alto como (relacin binaria): Fxy; estar situado entre: Fxyz.

Relaciones Binarias: Fab

Las relaciones binarias (xRy) se dividen en: referente (x); relacion (R) y relato (y). Se
llama dominio de una relacin, a la clase de todos los referentes de la misma (todos los X
que tienen la relacin con algn y), y codominio dominio converso a la clase de todos sus
relatos (todos los y que tienen relacin con algn x). Se llama campo (C) a la clase formada
por el dominio y el codominio de una relacin.
Ser marido de:
x (referente)= Maridos (dominio).
y (relato)= Esposas (codominio).
C= Personas Casadas (campo).
Propiedades
Reflexividad
1- Reflexividad total: todos los individuos tienen esa relacin consigo mismos: ser
idntico a (x) xRx.
2- Reflexividad:
3- Irreflexividad
4- No reflexividad
Simetra
1234-

Simetra
Asimetra
No simetra
Antisimetria

De Clases:
Cada concepto general determina el conjunto o la clase de los objetos o individuos a los
cuales se aplica. Para representar las clases se utiliza el alfabeto griego , , , etc. En
cuanto a los individuos, se los representa con: a, b, c, etc. Mientras que si pertenecen a o
son miembros de una clase se representa con: a (x) x = (x) Fx.
Operaciones
Interseccin: es la clase formadoa por lo individuos que pertenecen a dos clases: .
Unin: es la clase formada por la suma de los individuos de los dos conjuntos: U.
Complemento: es la clase formada por todos los individuos (universo del lenguaje) que
no pertenecen a : ().