matematicas discrtas

 Modus tollendo ponens
En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento:
es elcaso que A, o es el caso que B
No A
Por lo tanto, B
o exclusivo:
O es el caso que A, o es el caso que B
No A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del silogismodisyuntivo exclusivo podría ser:
O es de día o es de noche.
No es de día.
Por lo tanto, es de noche.
Otra manera de presentar el silogismo disyuntivo utilizando conectivas lógicas es:

o exclusivo

Yaún otra manera es a través de la notación del cálculo de secuentes:

o exclusivo

En lógica proposicional su representación sería la siguiente : y exclusivo: 


El silogismo disyuntivo
esaquel cuya premisa mayor establece una disyunción exclusiva, de manera que los dos miembros no pueden ser simultáneamente verdaderos, ni simultáneamente falsos. Ejemplo: "Todo círculo es una curva o unarecta; es una curva; luego, no es una recta".

Existen dos modos formalmente válidos de concluir: la premisa menor afirma uno de los dos predicados, y la conclusión niega el otro (modoponendo-tollens); o la menor niega uno de los predicados, y la conclusión afirma el otro (modo tollendo-ponens: al negar se afirma). 

En esquema:




Ejemplos:

O es de día o es de noche;
es de día;luego no es de noche.

O es de día o es de noche;
es de noche;
luego no es de día.

O es de día o es de noche;
no es de día;
luego es de noche.

O es de día o es de noche;
no es de noche;luego es de día.
creo que la otra persona qeu te lo respondió está en lo correcto, solo para hacerlo más facil.

un silogismo disyuntivo es aquel que separa cosas por eso usas la palabra "o". porejemplo O soy hombre o soy mujer, soy hombre, por tanto no soy mujer... es decir separas dos conceptos -disyuntas-.

también los puedes conocer como dilemas. el clásico de Shakespeare por ejemplo...