FILOSOFIA Y LOGICA PREUNIVERSITARIA

MTODO DE REDUCCIN AL ABSURDO

Es un procedimiento decisorio, es decir nos permite determinar la validez o la invalidez de un razonamiento o inferencia. Se utiliza con el propsito de abreviar el mtodo de las Tablas de Verdad. Reglas : A. Se coloca el valor de verdad a las premisas y el valor falso a la conclusin. Es decir : P1 V P2 V P3 V .......... Pn V C F * * Ntese que todas las variables y operadores son monovalentes, es decir cumplen una sola funcin veritativa. Por lo tanto, dicha inferencia es invlida o no correcta. Otro ejemplo : D. Si cualquiera de las variables u operadoras del esquema cumple un doble valor veritativo, es bivalente (V y F al mismo tiempo) entonces la inferencia es vlida o correcta. Operando :

B. Se debe deducir el valor de las variables y operadores del esquema, trasladando los valores encontrados. Ejm. : * P1 : p P2 : r C:r q q [ (p q) V r] V (r F q)

C. Si cada una de las variables y operadores del esquema cumple una sola funcin veritativo, es monovalente (V o F todo el tiempo, entonces la inferencia ser invlida o no correcta)

www.rmrubinos.blogspot.com

-334-

FILOSOFIA Y LOGICA PREUNIVERSITARIA

Ntese que la variable p cumple un doble valor a la vez (bivalencia), por lo tanto la

inferencia es vlida.

PREGUNTAS PROPUESTAS
01. Cuando las frmulas lgicas pueden asumir distintas funciones veritativas, estamos hablando de: A) Esquemas lgicos B) Silogismos C) Falsedades D) Falacias E) Verdades 02. Esquema lgico, cuya matriz resultante es totalmente verdadera: A) Tautolgico B) Consistente C) Contradictorio D) Inconsistente E) A y B 03. Cmo se llama el esquema en el cual los elementos son verdaderos pero hay tambin elementos falsos? A) Tautolgicos B) Consistentes C) Inconsistentes D) Falsos E) Verdaderos 04. Cul es el otro nombre de los esquemas lgicos contingentes? A) Veritativos B) Correctos C) Incorrectos D) Consistentes E) Contradictorios 05. Los esquemas lgicos cuyos valores son totalmente verdaderos, se denominan: A) Principios incorrectos B) Principios reales C) Normas de verdad D) Principios lgicos E) Tablas de verdad 06. En el ejercicio [(p q) p] q cuya matriz principal es verdadera en todos sus componentes podemos decir que es un esquema lgico A) Conjuncin de principios lgicos B) Conjuncin tautolgica C) Condicional tautolgico D) Consistente tautolgico E) B y C 07. Cmo le podemos llamar al esquema lgico del ejercicio [(p q) p] q cuya matriz tiene un resultado: VFFV A) Bicondicional inconsistente B) Condicional doble veritativo C) Conjuncin consistente D) Condicional inconsistente E) Bicondicional consistente 08. Cuando uno afirma que un esquema lgico por la veracidad de su matriz es tautolgico tambin podemos llamarlo : A) Inconsistente B) Consistente C) Principios lgicos D) Contingente E) Contradictorio 09. Cmo se les llama a los esquemas lgicos cuyo resultado de su matriz es totalmente falso? A) Tautolgico falso B) Negacin de la verdad C) Consistente D) Conjuntivo E) Contradictorio 10. Cmo podra yo llamarle al esquema del ejercicio [(p q) p] (p q) cuya matriz es FFFF? A) Bicondicional consistente B) Disyuntivo exclusivo contradictorio C) Condicional contradictorio D) Bicondicional inconsistente E) Tautolgico incorrecto 11. Qu nos permite observar el Mtodo Abreviado al abreviar la tabla de la verdad? A) Validez o invalidez B) Condicional o bicondicional C) Consistente o inconsistente D) Falsedad o veracidad E) Lo congruente o incongruente 12. Cuando un razonamiento constituido por variables y operadores que cumplen simplemente una funcin veritativa podemos afirmar que es una inferencia: A) Vlida - correcta B) Vlida - incorrecta C) No vlida - monovalente D) Verdadera E) Completamente falsa 13. Aplicar las tablas de verdad y descubrir qu esquema lgico se cumple: (p q) q A) FFVF (Contingente) B) FVFF (Contingente) C) FFFF (Contradictorio) D) VVVV (Tautolgico) E) FFFV (Consistente)

www.rmrubinos.blogspot.com

-335-

FILOSOFIA Y LOGICA PREUNIVERSITARIA

17. Desarrollar por el Mtodo de Reduccin al Absurdo: [(p q)] [(q p)] (p q) 18. Desarrolle el siguiente ejercicio aplicando el Mtodo de Reduccin al Absurdo: [( p q) q] [(p q) (p p)] 19. Desarrolle el siguiente ejercicio aplicando el Mtodo de Reduccin al Absurdo. [(p q) q] p 20. Desarrolle el siguiente ejercicio aplicando el Mtodo de Reduccin al Absurdo. [(p q) p] q

14. Descubrir el esquema lgico del siguiente ejercicio ( p q) (p q) A) Contradictorio B) Tautolgico C) Consistente D) Contingente E) C y D 15. Descubrir cul es el esquema lgico del siguiente ejercicio: [(q p) r] (q p) A) Consistente (FFFFFFFV) B) Contradictorio (FFFFFFFF) C) Consistente (FFVVVVFF) D) Contingente (FVVVVVVV) E) Tautolgico (VVVVVVVV) 16. Cuando en una inferencia o razonamiento, al comprobar sus variables y enlaces por el mtodo de reduccin al absurdo vemos que una variable cumple doble funcin, decimos que es correcta y vlida por lo tanto es: A) Bivalente B) Totalmente verdadera C) Es falsa en su estructura D) Conjuntiva en su matriz E) Monovalente o nica

TAREA
01. Determinar la validez de la siguiente frmula: {[(p q) (r s)] (p r)} (q s) 06. Determine el valor de p y q en la siguiente frmula lgica: [(p q) p] q A) VF B) FF C) FV D) VV E) No se puede determinar 07. Aplique el Mtodo Abreviado a : [ A B C D] E 08. Desarrolle el siguiente ejercicio aplicando el MRA [{[p q) (r obtendr: A) D) Q s)] t} t] [(p q) (r s)] ( p B) C) Q E) No se puede determinar q) q

02. Aplicar el Mtodo de Reduccin al Absurdo a: [(p q) (q p) ( p q)] p 03. Al negar el resultado final de la siguiente frmula:

09. Aplique el Mtodo de Reduccin al Absurdo a: {[ (p q) r] r} (p q)

04. Al aplicar el Mtodo Abreviado a una frmula condicional: ( p q) el esquema lgico resultante es : A) Tautolgico B) Vlido C) Contingente D) Inconsistente E) Contradictorio 05. Determinar los valores de verdad de: (p q) (q p) (p q) A) VVFF B) FFFV C) FFFF D) FFVV E) VVVV

10. Desarrolle el siguiente ejercicio aplicando el Mtodo de Reduccin al Absurdo: [( p q) q] (p q)

www.rmrubinos.blogspot.com

-336-