Please enable JavaScript.
Coggle requires JavaScript to display documents.
razonamiento deductivo - Coggle Diagram
razonamiento deductivo
el razonamiento deductivo es el método que nos permite aplicar generalidades a casos específicos
fue desarrollado en la antigua Grecia por personajes tan importantes como Pitagoras, euclides o arquimedes entre otros
Inferencia
es el proceso de obtención de una proposición a partir de otra u otras proposiciones dadas
Reglas de la inferencia
es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión
si P implica Q; y si P es verdad; entonces Q también es verdad
modus ponendo ponens
si P implica Q; y si P es verdad; entonces Q también es verdad
modus tollendo tollens
Si P implica Q, y Q no es cierto, entonces P no es cierto
modus tollendo ponen
Es decir, si P o Q es verdadero y P es falso, entonces Q es verdadero
Simplificación
si la conjunción A y B es cierta, entonces A es verdad (o bien "B también es verdad", otra conclusión)
Introducción de la disyunción o adición
Es la inferencia de que si P es verdad, entonces P o Q tiene que ser verdad
Adjunción
entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso