1. Tollendo tollens
1.1. es una forma de argumento válida y una regla de inferencia en lógica proposicional
1.1.1. es una aplicación de la verdad general de que, si una declaración es válida, también lo es su contraposición.
1.1.1.1. Ejemplo: P-Q Si el agua hierve, entonces soltará vapor. Q No suelta vapor P Por lo tanto, no está hirviendo el agua. En este caso, P es "el agua hierve", Q es "suelta vapor". Dado que Q, es decir, "no suelta vapor", se puede concluir que P, es decir, "el agua no hierve".
2. Ponendo Ponens
2.1. es un tipo de argumento lógico, de inferencia razonada, perteneciente al sistema formal de las reglas de deducción de la conocida lógica proposicional.
2.1.1. Esta estructura argumentativa es la pauta inicial que se transmite en la lógica proposicional y se relaciona directamente con los argumentos condicionales.
2.1.1.1. Ejemplo: Si está lloviendo, te espero dentro del teatro. Está lloviendo. Por lo tanto, te espero dentro del teatro.
3. Ponendo Tollens
3.1. Establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero.
3.1.1. Como E.J. Lemmon lo describe: "Modus ponendo tollens es el principio de que, si se sostiene la negación de una conjunción, y también una de sus oraciones conjuntivas, entonces la negación de la otra oración conjuntiva asimismo se sostiene
3.1.1.1. Ejemplo: Alejandra y Bárbara no pueden ganar ambas la carrera. Alejandra ganó la carrera. Por lo tanto, Bárbara no puede haber ganado la carrera.
4. Proposición
4.1. Es una expresión equivalente.
4.1.1. Una oración
4.1.1.1. Simple Aseverativa
5. Silogismo
5.1. Se conoce como silogismo al razonamiento deductivo que consta de dos premisas (mayor y menor), a partir de las cuales se llega a una conclusión
5.1.1. con respecto al silogismo se debe de tomar en cuenta una serie de reglas para su validez, como: - Un silogismo contiene tres proposiciones. - En dos premisas negativas no se puede concluir nada. - En dos premisas positivas no puede obtenerse una conclusión negativa. - Si una premisa es negativa, la conclusión es negativa, y viceversa. - De dos premisas particulares no se saca conclusión. - El término medio no pueden entrar en la conclusión.
5.2. El silogismo es un argumento formado de tres proposiciones, estando la conclusión contenida en una de las dos primeras y, mostrando a la otra que la misma conclusión allí está contenida.
5.2.1. es tomado como un razonamiento deductivo, ya que partiendo de dos juicios se infiere uno nuevo. En este sentido, la “premisa mayor”, es aquella que sirve de punto de partida, y es la más general; por su parte, la “premisa menor” sirve de intermediario y es menos general, y de ellas dos se deduce la conclusión del razonamiento.
5.2.1.1. Ejemplo: Todos los hombres son mortales. (Premisa mayor) Pedro es hombre. (Premisa menor) Luego, Pedro es mortal. (Conclusión)
6. Lógica Proporcional
6.1. Un enunciado que puede ser calificado.
6.1.1. Verdadero y Falso
6.1.1.1. Frase u Oración
7. Inferencia
7.1. El proceso donde se establecen conclusiones
7.1.1. Basadas en argumentos corroborables.
7.2. Reglas
7.2.1. Es una implicación tautológica (siempre es verdadera) .
7.2.1.1. Inducción
7.2.1.1.1. Conjunción
7.2.1.1.2. Disyunción
7.2.1.2. Eliminación
7.2.1.2.1. Conjunción
7.2.1.3. Modus
7.2.1.3.1. Ponens
7.2.1.3.2. Tollens
7.2.1.4. Silogismo
7.2.1.4.1. Disyuntivo
7.2.1.4.2. Hipotetico
7.2.1.5. Dilema
7.2.1.5.1. Constructivo
7.2.1.5.2. Destructivo
7.2.1.6. Demostración
7.2.1.6.1. Condicional
7.2.1.6.2. Por casos
8. Significado Ponens:
8.1. Es el razonamiento en el cual
8.1.1. 1ra Premisa
8.1.1.1. Se platea un condicional
8.1.2. 2da Premisa
8.1.2.1. Se afirma el antecedente
8.1.3. Conclusión
8.1.3.1. Se afirma la consecuencia