INFERENCIAS LÓGICAS

Get Started. It's Free
or sign up with your email address
INFERENCIAS LÓGICAS by Mind Map: INFERENCIAS LÓGICAS

1. Niegas el consecuente entonces niegas la conclusión.

2. (p → q) ^ (r → s) q v s _______________ p v s

2.1. Es una inferencia que se hace a partir de dos fórmulas condicionales, donde se niegan cada uno de sus consecuentes, obteniendo como resultado la disyunción de éstas.

3. (p → q) ¬q _______ ¬p

4. (p → q) p _______ q

4.1. Es una implicación cuando se afirma el antecedente se afirma el consecuente.

5. p → q q → r _____ p → r

5.1. Se caracteriza por estar formado por juicios hipotéticos.

5.2. La estructura formal del silogismo hipotético es la siguiente:

6. (p v q) (p → r) (q → r) ______ r

6.1. Partiendo de una proposición condicional se obtiene.

7. p v q ⌐ q _____ p

7.1. Si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado.

8. Modus Ponendo Ponens

9. Modus Tollendo Tollens (Negando Niega)

10. Modus Tollendo Ponens

11. Silogismo Hipotético

12. Dilema Constructivo

13. Simplificación Disyuntiva

14. Integrantes: David Almagro Samantha Caicedo Gabriel Ocampo