1. logica proposicional
1.1. Tablas de verdad
1.1.1. Es
1.1.1.1. Las tablas de verdad son un método para saber si una fórmula molecular (es decir, formada por varias proposiciones) es siempre V, a veces V o nunca V
1.1.1.1.1. ¿cuantos valoes de cerdad puede llevar una tabla de verdad ?
1.2. proposiciones simples y compuestas
1.2.1. proposiciones simples
1.2.1.1. poseen una formulación sencilla desprovista de negaciones y nexos conjunciones o disyunciones, por lo que constituyen un único término lógico.
1.2.2. proposiciones compuestas
1.2.2.1. Proposiciones compuestas o proposiciones moleculares poseen dos términos unidos por un nexo o emplean negaciones dentro de su formulación
1.2.2.1.1. Ejemplos
2. teoria de conjuntos
2.1. La teoría de conjuntos es una rama de la lógica-matemática que se encarga del estudio de las relaciones entre entidades denominadas conjuntos
2.1.1. Relaciones entre conjuntos
2.1.1.1. En los conjuntos se pueden establecer varios tipos de relación entre ellos y sus elementos.
2.1.1.1.1. union
2.1.1.1.2. diferencia
2.1.1.1.3. Diferencia simetrica