Demostración Indirecta.
La demostración lógica de un razonamiento es un proceso que consiste en demostrar, mediante el uso de las reglas de inferencia, que la conclusión es consecuencia lógica de las premisas.
La “Demostración Indirecta” es tan solo el llegar a una conclusión verdadera, factible y conveniente por un método más largo y con una respuesta que indica que la conclusión es cierta.
Hemos aprendido mas sobre el razonamiento de lo que significa la verdad y como llegar a ella por medio de reglas y procedimientos. Hasta hoy hemos practicado una serie de procedimiento en los cuales llegamos a una conclusión ya establecida de forma directa y exacta, pero en este caso estableceremos procedimientos por medio de los cuales obtendremos …ver más…

Empleamos los juicios disyuntivos en toda clase de cuestiones, bien enfrentado alternativas diferentes (Tuvo que ser o el lunes o el jueves), bien una afirmación y su negación (Estuvo o no estuvo).
Ofrecemos dos alternativas incompatibles, cada una de las cuales se analiza por separado, generalmente mediante un argumento condicional:
Nos hemos quedado sin luz en la casa o en todo el barrio.
Si es en todo el barrio no habrá luz en la calle.
Si es en casa, habrá saltado el fusible.
En los argumentos por enumeración actuamos como si se tratara de disyuntivas ampliadas. Ofrecemos todas las soluciones posibles de un problema para escoger entre ellas la mejor: “O vas a Madrid, o vas a Sevilla o te quedas en Santiago”.
Las soluciones son diversas e incompatibles, haremos lo mismo que en una disyuntiva: afirmamos uno de sus términos o negamos todos los demás.
El asesino tuvo que ser: Pedro, o Carlos, o Andrés.
- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje. Entonces no fue Pedro.
- Si hubiera sido Andrés, tuvo que manejar el arma, pero no pudo, porque es paralítico. Entonces no fue Andrés.
En conclusión: si no han sido ni Pedro ni Andrés, tuvo que ser Carlos.

Ejercicios… 1) Estoy en una fiesta, tengo sed y ganas de bailar entonces, tomo soda o bailo, si me siento entonces no bailo, pero preferí no tomar soda.

T = Tomé soda.
B = Bailé
S = Me senté.

1) T v B T v B S → ~B 2) S → ~B ~T__ B____