Discusión:Modus tollendo ponens
Quisiera poder aclarar algunas cuestiones que me parecen erradas en el artículo y que presumo deberían corregirse.
En la formalización del modo Tollendo Ponens se utiliza el conectivo Or, este que implica que pueden darse P, Q o ambos. De ello se deduce que P y Q no son contradictorios.
Luego, el modo Tollendo Ponens no se da, en tanto Si ¬P entonces Q o Ambos. En cambio si se da con el conectivo XOR u OR Exclsivo.
En cualquier caso, solo si P y Q no son contradictorios correspondería usar OR, en cual caso el modo TP no se da.
En el ejemplo
Yo o elegiré sopa o elegiré ensalada. No voy a elegir sopa. Por lo tanto, voy a elegir ensalada.
Luego, Sopa y ensalada no son logicamente contradictorios, puedo elegir sopa y ensalada. Si no elijo sopa, puedo elegir o ensalada o sopa y ensalada.
Saludos.