rea de Formacin General LGICO MATEMTICA

Dnde est el retrato?

Forma vertical

Forma horizontal

P1 P2
. . .

P1 ^ P2 ^ ^ Pn

Pn
Conclusin

C
Inferencia vlida Inferencia no vlida Razonamiento correcto Razonamiento incorrecto

I. MODUS PONENDO PONENS (MPP)

Significa: modo AFIRMANDO AFIRMO

Regla: En una proposicin implicativa, si afirman el antecedente, se afirma el consecuente.

Slo se puede aplicar en una proposicin implicativa adems de la biimplicativa (p ; m)

Esquemas Lineales: [(A pB) A] p B

Esquemas Verticales:
P1: A p B P2: A ___ C: B
Se afirman el antecedente Se afirman el consecuente

[(A pB) B] p A

[(A m B) A] p B
P1: A m B P2: B ___ C: A P1: A m B P2: A ___ C: B

[(A m B) B] p A

II. MODUS PONENDO TOLLENS (MPT)

Significa: modo AFIRMANDO NIEGO

Regla: En una proposicin disyuntiva excluyente; si afirman una variable de la primera premisa, se niega la otra variable.

Slo se puede aplicar esta ley en proposiciones disyuntivas fuertes. (()

Esquemas Lineales: 1. : [(A B) A] p ~B

Esquemas verticales: P1: A B P2: A C: ~B P1: A B P2: B C: ~A

Si afirman una variable Se niega la otra variable

2. :

[(A

B) B]p ~ A

III. MODUS TOLLENDO PONENS (MTP)

Significa: modo NEGANDO AFIRMO

Regla: En una proposicin disyuntiva excluyente o incluyente; si se niega una variable, se firma la otra variable, ya que uno de los trminos de la eleccin ha sido descartado.

Esta ley slo se aplica en los dos tipos de proposiciones sealadas. (( ; V)

Esquemas Lineales:
[(A B) ~A] p B [(A B) ~B] p A [(A B [(A B) ~A]p

Esquemas Verticales:
P1: P2: C: P1: P2: C: AB ~A B A B ~A B P1: A B P2: ~B Si niegan una variable . Se afirma la otra variable A P1: A B P2: ~B . C: A

B) ~B] p A

IV. MODUS TOLLENDO TOLLENS (MTT)

Significa: modo NEGANDO NIEGO

Regla: En una proposicin implicativa, si niegan el consecuente, se niega el antecedente.

Slo se puede aplicar en una proposicin implicativa adems de la biimplicativa (p ; m)

Esquemas Lineales:
?(A p B) ~ B A p ~A ?(A m B) ~B A p ~A ?(A m B) ~A A p ~B

Esquemas Verticales: P1: A p B P2: ~B C: ~A P1: A m B P2: ~B . C: ~A

AmB Si niegan el consecuente ~A Se niega el antecedente ~B

V. SILOGISMO HIPOTTICO (SH)

O ley de la

transitividad

Esta ley slo aplica proposiciones implicativas o biimplicativa (p ; m)

Regla: Dados dos implicaciones, de las cuales, el antecedente de la segunda sea el consecuente de la primera (el mismo enunciado), podemos construir una nueva implicacin cuyo antecedente sea el de la primera implicacin, y cuyo consecuente sea el de la segunda. Lo mismo ocurre biimplicaciones. con dos

Esquema Lineal:
? (A p B) (B p C) A p (A p C)

Esquema Vertical: P1: P2: C: A p B B p C A p C

Son razonamientos a partir de tres premisas y pueden ser constructivos o destructivos.

DILEMA CONSTRUCTIVO COMPUESTO (DCC)

Cuando las variables de la premisa disyuntiva dbil, afirman a los antecedentes de las premisas implicativas, entonces la conclusin es tambin una proposicin disyuntiva dbil formada por la afirmacin de los consecuentes de las premisas implicativas.

Esquema Vertical :

P1 : A p B P2 : C p D P3: A C -----------C: B D

Esquema Lineal:
_? (A p B) (C p D) A (A C) a p (B D)

DILEMA DESTRUCTIVO COMPUESTO (DDC) Cuando las variables de la premisa disyuntiva dbil, niegan a los consecuentes de las premisas implicativas, entonces la conclusin es tambin una proposicin disyuntiva dbil formada por la negacin de los antecedentes de las premisas implicativas. Esquema Lineal: _? (ApB)(CpD)A(~B~D)ap(~A~C) Esquema Vertical

P1 : A p B P2 : C p D P 3 : B D  C : A C

DILEMA DESTRUCTIVO COMPUESTO (DDC)

Si Anito deca la verdad, entonces Scrates corrompa la juventud, y si el tribunal lo conden equivocadamente, entonces Anito no es culpable. Pero, o Scrates no corrompa la juventud o Anito es el culpable. Por lo tanto, o Anito no deca la verdad o el tribunal no conden a Scrates equivocadamente.

p p q r p s
q s  p r