1. LOGICA MATEMATICA
1.1. es la ciencia dedicada a la exposición de las formas, los métodos y los principios del conocimiento científico. Algo lógico, en este sentido, es aquello que respeta estas reglas y cuyas consecuencias resultan justificadas, válidas o naturales.
2. LEYES DE INFERENCIA
2.1. es el proceso de obtención de una proposición a partir de otra u otras proposiciones dadas, a las cuales se aplican reglas de inferencia, de tal manera que la conclusión sea consecuencia lógica de las premisas.
2.1.1. Modus Ponens (MP)
2.1.1.1. Si P implica Q, y P es verdadera, entonces Q es cierta.
2.1.2. Modus Tollens (MT)
2.1.2.1. Si P implica Q, y Q no es cierta, entonces P no es cierta.
2.1.3. Silogismo Hipotético (SH)
2.1.3.1. Si P implica Q, y Q implica R, entonces P implica R.
2.1.4. Silogismo Disyuntivo (SD)
2.1.4.1. Ya sea que P es cierta o Q es cierta; P no es cierta; por lo tanto, Q es cierta. De la misma manera, si P es cierta o Q es cierta; Q no es cierta; por lo tanto, P es cierta.
2.1.5. Dilema Constructivo (DC)
2.1.5.1. Si P implica Q y R implica S, entonces si P o R es verdadera, se deduce que, o bien Q o S es verdadera.
2.1.6. Dilema Destructivo (DD)
2.1.6.1. Si P implica Q, y R implica S, y, o bien Q es falsa o S es falsa; entonces o P es falsa o R es falsa.
2.1.7. Conjunción (Conj.)
2.1.7.1. Si P es cierta y Q es cierta, entonces la conjunción “P y Q” también es cierta.
2.1.8. Simplificación (Simp.)
2.1.8.1. Si la conjunción de P y Q es cierta, entonces P es cierta y Q es cierta.
2.1.9. Absorción (Ab.)
2.1.9.1. Si P implica Q, entonces P implica P y Q.
2.1.10. Adición (Ad)
2.1.10.1. Si P es verdadera, entonces su conjunción con cualquier otro enunciado también será cierta.
3. RAZONAMIENTO LOGICO
3.1. es aquel proceso mental que implica la aplicación de la lógica. A partir de esta clase de razonamiento, se puede partir de una o de varias premisas para arribar a una conclusión que puede determinarse como verdadera, falsa o posible. El razonamiento lógico se puede iniciar a partir de una observación (es decir, una experiencia) o de una hipótesis. El proceso mental de análisis puede desarrollarse de distintas maneras y convertirse en un razonamiento inductivo, un razonamiento deductivo, etc. Según la clase de razonamiento empleada, la conclusión tendrá mayor o menor posibilidad de resultar válida. La conclusión encuentra su base en las premisas iniciales: el razonamiento lógico es el camino que vincula ambas partes. El resultado del razonamiento tendrá un cierto grado de probabilidad en cuanto a su veracidad, siempre que los razonamientos lógicos sean válidos.
3.1.1. El razonamiento inductivo utiliza premisas particulares para llegar a una conclusión general,
3.1.2. el razonamiento deductivo usa principios generales para llegar a una conclusión específica