RELACION DE CONTRARIEDAD
Todos y ninguno, ambas proposiciones no pueden ser verdaderas, necesariamente una es falsa.

CONTRADICCION
Se representa y se da entre el particular negativo y el universal negativo y entre el universal afirmativo y el particular afirmativo

TERMINOS DE ENLACE
CONJUNCION: Y
DISYUNCION: O
NEGACION: -
CONDICIONAL: Si - entonces
BICONDICIONAL: Si y solo si

RAZONAMIENTO INDUCTIVO
La conclusión se va a inferir con un grado de probabilidad.
Se toman dos o más premisas particulares, para obtener como conclusión una premisa general.

PROPOSICION
Enunciado susceptible de ser calificados de verdaderos o falsos

TERMINOS DE ENLACE
NEGACION: No tiene poder vinculante, siempre debe anteceder la proposición
CONJUNCION: Si vincula
DISYUNCION EXCLUSIVA: Separa proposiciones

INFERENCIA LOGICA
MODUS PONENDO PONENS: Permite pasar de dos premisas a la conclusión. Afirma el consecuente, afirma el antecedente
DOBLE NEGACION: Se utiliza frecuentemente con modus tollendo tollens

SIMPLIFICACION
TOLLENDO PONENS: Es aplicable a disyunciones incluyentes
SILOGISMO HIPOTETICO: Aplicable a dos proposiciones condicionales

LEYES DE MORGAN
1. Transformar la conjunción en disyunción y viceversa
2. Negar cada una de las formulas
3. Negar toda la formula

SABER FORMAL
- Def. Ostentiva
Def. Analítica
Def. Sintética
Def. Regulatoria

SABER MATERIAL
Def. Ostentiva
Def por postulados
Def Explicita