El documento describe los conceptos básicos de la lógica de predicados o de primer orden, incluyendo las proposiciones categóricas, los cuantificadores, la cantidad y cualidad de las proposiciones, y la clasificación de las proposiciones en cuatro tipos (A, E, I, O). También cubre conceptos como clases universales, determinadas, vacías y no vacías, complementos de clases, y casos no típicos en proposiciones categóricas.

1. MATERIAL DE APOYO: WWW.SLIDESHARE.NET/RAFAEL.MORA

5. CLASE UNIVERSAL Es la clase que enmarca todos los elementos u objetos a los que se hace referencia, se denota por el símbolo U.

6. CLASE INDETERMINADA Es aquella clase, en la que no se puede determinar la existencia o no existencia de elementos.

7. CLASE VACÍA Es la clase que carece de elementos. Se diagrama a través de un círculo sombreado o achurado en su interior, con una letra adjunta que indica la denominación de la clase.

8. CLASE NO VACÍA Indica que una clase tiene por lo menos un elemento

9. COMPLEMENTO DE UNA CLASE Es el conjunto de elementos que no pertenecen a la clase en mención, se indica por una barra superpuesta en la letra. En este caso el diagrama indica que el complemento de la clase S es diferente al vacío.

10. COMPLEMENTO DE UNA CLASE El diagrama indica que el complemento de la clase S es igual al vacío.

11. DIAGRAMACIÓN Este es el diagrama de dos clases, en el se representan las relación de inclusión o exclusión que encontraremos en la proposición. Por lo tanto, describiremos las áreas numeradas. Área 1: Están los elementos que no pertenecen a la clase S y que no pertenecen a la clase P. Área 2: Están los elementos que pertenecen a S pero que no pertenecen a P Área 3: Están los elementos que pertenecen a S y a la vez a P Área 4: Están los elementos que, no pertenecen a S pero si a P.