Ley del silogismo disyuntor

Ley del silogismo disyuntor.
Esta regla parte de, al menos, tres premisas: una disyuntiva y dos condicionales. La disyuntiva encierra dos opciones, las cuales serán los antecedentes de ambascondicionales, de tal modo que sus consecuentes podrán conformar una disyunción. En otras palabras esto significa que si dos posibilidades conllevan dos condiciones a cumplir, los efectos serán enúltima instancia las posibilidades que se estarán escogiendo en última instancia.
En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negandoafirma) o MTP, es una forma válida de argumento:
A o B, No A, Por lo tanto, B.
La definición de la disyunción exige que para que la disyunción pq sea cierta o bien p o bien q sean ciertos. Enconsecuencia, si sabemos que p no es cierto, entonces con seguridad q (el otro término de la disyunción) ha de ser cierto.
Como muy bien señala el filósofo y lógico español, Alfredo Deaño, en su obraIntroducción a la lógica formal, la denominación tradicional de "Silogismo disyuntivo" es incorrecta, ya que, en rigor, no se trata de un silogismo. Deaño propone el nombre de "Inferencia de laalternativa". Nosotros optaremos por dejar avisado al lector, continuando, en lo sucesivo, con la denominación tradicional de "silogismo disyuntivo" por ser de uso más extendido.







Disyunción inclusiva yexclusiva.
Tener en cuenta que el silogismo disyuntivo funciona si "o" se considera una disyunción "exclusiva" o "incluyente”.
Hay dos tipos de disyunción lógica:
inclusiva significa "y/o" - almenos uno de ellos es verdadero, o quizás ambos.
exclusiva ("xor") significa que exactamente uno debe ser verdadero, pero no pueden ser ambos.
El concepto ampliamente utilizado en idioma españolde o suele ser ambiguo entre estos dos significados, pero la diferencia es fundamental en la evaluación de argumentos disyuntivos.
Este argumento:
P o Q.
No P.
Por lo tanto, Q.
Es válido e indiferente...