definiciones de lógica

Conceptos

Atributo: “cada una de las cualidades o propiedades de un ser”; “en obras artísticas, símbolo que denota el carácter y representación de las figuras que lo exhiben”

Clase: En la teoríade conjuntos de Zermelo-Fraenkel (ZF) se denomina de manera informal «clase» a toda propiedad expresada por una fórmula de su lenguaje, aun cuando pueda demostrarse que no existe un conjunto quecontenga todos los objetos con esa propiedad, en cuyo caso se denomina una clase propia. El uso de las clases es entonces a través de notación. Sin embargo existen otras teorías, como la teoría de conjuntosde Von Neumann-Bernays-Gödel (NBG), en las que las clases son objetos de pleno derecho y puede establecerse una distinción entre ambos tipos de «colecciones de objetos».

Proposición: Las entidadesportadoras de los valores de verdad. Los objetos de las creencias y de otras actitudes proposicionales. El significado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».
Es unproducto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por mediode signos o símbolos de un lenguaje formal.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo dealgo, mientras ese acto constituye el juicio.
Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio detérminos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.
Proposición en la lógica tradicional llamada aristotélica:
Universalafirmativa ("Todos los humanos son mortales").
Universal negativa ("Ningún humano es mortal").
Particular afirmativa ("Algunos planetas giran alrededor del Sol").
Particular negativa ("Algunos planetas...