1. Preposiciones
1.1. Ciertas frases que afirman o niegan algo, a las que podemos clasificar de verdaderas o falsas, recibe el nombre de proposiciones.
1.1.1. Tipo de preposiciones
1.1.1.1. La proposición simple, es aquella que está formada por un solo enunciado.
1.1.1.1.1. Ejemplos Sócrates es un hombre. Los átomos son indivisibles.
1.1.1.2. La proposición compuesta, es aquella que forman 2 o más proposiciones simples unidad
1.1.1.2.1. Ejemplos Todos los enteros positivos son primos. A Luis le gusta escuchar a Panteón Rococó o la guacamaya es un ave
2. Conectivos Lógicos
2.1. Cuando tenemos dos afirmaciones diferentes, A y B, se pueden ligar para formar afirmaciones más complejas mediante conectivos lógicos de varios tipos.
2.1.1. Tipos de Conectivos Lógicos
2.1.1.1. Negación
2.1.1.1.1. ~A es cierta si A es falsa, y viceversa (~A es falsa si A es cierta).
2.1.1.2. Conjunción
2.1.1.2.1. A ^ B es cierta si y sólo si las dos son ciertas simultáneamente.
2.1.1.3. Disyunción inclusiva
2.1.1.3.1. A v B es cierta si al menos una de las dos es cierta.
2.1.1.4. Disyunción exclusiva
2.1.1.4.1. A~=B es cierta si exactamente una de las dos es cierta. Hay, pues, dos alternativas: o bien A es cierta y B es falsa, o bien A es falsa y B es cierta.
3. Reglas de Inferencia
3.1. Es un proceso que consiste en pasar de un conjunto de premisas a una conclusión, sin la necesidad de elaborar tablas o cuadros muy extensos.
3.1.1. Si se tiene la proposición; si es domingo, entonces la escuela está cerrada. Y si afirmamos la proposición: es domingo Obtenemos como conclusión: la escuela está cerrada.
3.1.1.1. Principales reglas de indiferencia
3.1.1.1.1. 1. MODUS PONENDO PONENS
3.1.1.1.2. 2. MODUS TOLLENDO TOLLENS
3.1.1.1.3. 3. LEY DEL SILOGISMO
3.1.1.1.4. 4. MODO CONJUNTIVO
3.1.1.1.5. 5. MODO DISYUNTIVO
4. Tipos de Razonamiento
4.1. Razonamiento Deductivo
4.1.1. Toma una premisa general y deduce conclusiones particulares. Un argumento deductivo “válido” es aquel en el que la conclusión necesariamente se deriva de la premisa.
4.2. Razonamiento Inductivo
4.2.1. Es el proceso de observar datos, reconocer patrones, y hacer generalizaciones basándose en esos patrones.
4.3. Razonamiento Analógico
4.3.1. Modalidad de razonamiento no deductivo que consiste en obtener una conclusión a partir de premisas en las que se establece una comparación o analogía entre elementos o conjuntos de elementos distintos.