Razonamientos lógicos Leyes de la inferencia lógica
Lógica inferencial Inferencia lógica
Se basa en
Es decir se basa en consisten en
Una inferencia es Un razonamiento lógico,
en definitiva, es un MODUS un paso en el PONENDO razonamiento que proceso mental que implica la aplicación de En la Sección anterior PONENS (PP) parte de unas MODUS la lógica. A partir de esta reconocimos al Álgebra premisas y deriva TOLLENDO clase de razonamiento, de Proposiciones como de ellas una TOLLENS (TT) se puede partir de una o un conjunto de conclusión. Cuando MODUS de varias premisas para herramientas que nos una proposición se TOLLENDO arribar a una conclusión permiten verificar sigue de otras de PONENS (TP) que puede determinarse equivalencias lógicas sin ese modo, se dice Ley de como verdadera, falsa o tener que recurrir a las que éstas implican silogismo posible. Tablas de Verdad. aquélla. hipotético (SH) Ley de simplificación (LS) Ley de conjunción (LC) Ley de acción (LA) Dilema constructivo (DC)