1. Tabla de verdad
1.1. indicador de casos posibles
1.2. valor de verdad
1.3. resultados
1.3.1. contradicción
1.3.1.1. condiciones de valores falsos
1.3.2. tautología
1.3.2.1. condiciones valores verdaderos
1.3.3. contingencia
1.3.3.1. condiciones de valores mixtos
2. Reglas de Inferencia
2.1. conversión de un conjunto de premisas a conclusión
2.2. Principales reglas
2.2.1. modo conjuntivo
2.2.1.1. dos situaciones realizadas
2.2.2. modo disyuntivo
2.2.2.1. niegan un miembro y se afirma otro
2.2.3. modus ponendo ponens
2.2.3.1. si se cumple Q también P
2.2.4. ley del silogismo
2.2.4.1. aplica ley transitiva de implicación
2.2.5. modus tollendo tollens
2.2.5.1. si se suprime Q es porque falla P
3. Es un proceso de juicio y demostración
3.1. Tipos
3.1.1. deductivo
3.1.1.1. estrictamente lógico
3.1.2. inductivo
3.1.2.1. varia por probabilidad y conjuntos
3.1.3. analógico
3.1.3.1. conclusión de premisas en comparación
4. Proposiciones
4.1. Clasificación
4.1.1. simples
4.1.1.1. frases verdaderas o falsas
4.1.1.2. de un solo enunciado
4.1.2. compuestas
4.1.2.1. dos o mas preposiciones simples
4.1.2.2. formada por
4.2. conectivos lógicos
4.2.1. conjunción
4.2.1.1. establece relaciones entre palabras u oraciones
4.2.2. disyunción
4.2.2.1. combina dos proposiciones y separa según su causa
4.2.3. bicondicional
4.2.3.1. es una proposición que tiene doble condicional
4.2.4. condicional
4.2.4.1. afirma que su antecedente implica su consecuente