Re: Re[2]: [escepticos] Non sequitur 2

[Suzudo <jbatalla@...>]

[Tabla de la verdad resultando verdadero para todos los casos]

>Es una tautologia
>
>la falacia es
>
>A  ent B
>
>Premisa No A
>entonces No B

Correcto.
No quería decir que no lo fuera.
Lo que quería decir es que:

Correcto:
P-      A = B
        A -> B       ECO 
-       ¬A
|       A = B        Id
|       B -> A       ECO
|-      B     
||      A            EI
||      ¬A           Id
|-      A + ¬A       IC
-       ¬B           IN
(Op1)   ¬A -> ¬B     II   (Cp de B -> A)


Incorrecto:
P-     A -> B
       ¬A -> ¬B      (Op1) (no es Cp de B -> A ya que no lo tenemos y no se
puede hacer

de A -> B)