>>
>> Definicion:
>> Todo argumento con la siguiente forma es invalido:
>> Si A entonces B
>> No A por lo tanto, No B
>>
>
Perdón:
Siempre que no sea verdad que:
Si A y solo si A entonces B
( O A es B, siendo "es" NO sustituible por "es un" B o es un elemento de
A <-> B