Lógica De Predicados

LÓGICA DE PREDICADOS
La parte de la Lógica que se ocupa de analizar los argumentos que envuelven el uso de las partículas Todos o Algunos se la denomina Lógica de Predicados. La lógica de predicadosestudia las proposiciones analizando su estructura interna. Para ello utilizará como elemento básico los cuantores.
Los cuantores pueden ser:
* Generalizador: Todos, ninguno ∆
*Particularizador: Algunos V

FUNCIÓN PROPOSICIONAL
Dado Pa, P es la propiedad y a, la constante. Esto es, si P equivale a pintor, x serían Juan, Pedro, José... y todos aquellos que sean pintores. Paraexpresar si algunos son pintores, sólo unos pocos, o ninguno, utilizamos los cuantores, tal que:
Pa ∆x Px (Para todo x, Px)
Vx Px (para algún x, Px)

PROPOSICIONES CATEGÓRICAS
Son aquellasproposiciones que consisten en la cuantificación simultánea de 2 predicados relacionados entre sí. Esto es, que se pueden ordenar, organizar y clasificar en universos distintos.
Los enunciados pueden serdefinidos por cualidad, según la cual pueden ser verdaderos o falsos; o cantidad, según la cual pueden ser particulares o universales.
A Universal afirmativo: ∆x Px Qx (Todo S es P: SaP)
IParticular afirmativo: Vx Px Qx (Algún S es P: SiP)
E Universal negativo: ∆x Px ¬Qx (Ningún S es P: SeP)
O Particular negativo: Vx Px ^ Qx (Algún S no es P: SoP)
Silogismo: discurso en el cual,establecidas algunas cosas (premisas), se deriva algo diverso de las premisas establecidas (conclusión), por el hecho mismo de lo que ellas son; esto es, de ellas se deriva la conclusión tal que no esnecesario ningún término ajeno para que se dé necesariamente la conclusión.
Luego, llamamos silogismo al discurso en el que un enunciado Q se deriva con necesidad de los enunciados a, b, c...

Laconsecuencia la simbolizamos con la implicación, y puede ser:
* Mediata: aquella que se obtiene de dos o más predicados.
* Inmediata: aquella que se obtiene de un predicado, y hay una inferencia...