Deducciones Logicas

La equivalencia de (∼p v ∼q)

• ∼(p v q)

• ∼(p ʌ q)

• (p ʌ q)

El equivalente de (p➜q) es:

• (∼p v q)

• (p v ∼q)

• ∼(p ʌ q)

En un modus ponendo ponens:

• El consecuente es la negada del antecedente

• Si el antecedente se afirma, se afirma el consecuente

• No se obtiene una conclusión

[(p v ∼q) ʌ p] es equivalente a:

• p

• (p ʌ q)

• (p v q)

A qué implicación notable pertenece: [(∼p → ∼q) ʌ q] → p

• Modus ponendo ponens

• Adjunción

• Modus tollendo tollens

El razonamiento:

Primera premisa: p --> q;

segunda premisa: ¬q;

conclusión : ¬p

• es una falacia

• es correcto y del tipo modus tollendo tollens

• es correcto y del tipo modus tollendo ponens

El razonamiento:

Primera premisa: voy al cine o a tomar una copa;

segunda premisa: no voy al cine;

conclusión : voy a tomar una copa

• es una falacia

• es correcto y del tipo modus tollendo tollens

• es correcto y del tipo modus tollendo ponens

El razonamiento: Primera premisa: si voy al cine, me duele la cabeza;

segunda premisa: si me duele la cabeza, no puedo dormir;

conclusión : si voy al cine, no puedo dormir

• es correcto y del tipo modus ponendo ponens

• es una falacia

• es correcto y del tipo ley del silogismo hipotético

El razonamiento:

Primera premisa: p --> q;

segunda premisa: ¬p;

conclusión: ¬q

• es una falacia

• es correcto

• que sea correcto o no depende de los valores de verdad

  de p y q.