Question

Demuestre que el siguiente razonamiento es válido:
“Si el Congreso asigna los fondos, el proyecto será ejecutado. El Congreso asigna los fondos sólo si hay consenso entre los diputados. No hay consenso entre los diputados. Por lo tanto, el proyecto no será ejecutado”
En Demostración Directa

Answer 1

Se puede concluir utilizando la ley de inferencia MODUS TOLLENDO TELLENS que el proyecto no sera ejecutado.

Veamos las proposiciones que tenemos:

p: El congreso asigna los fondos

q: el proyecto será ejecutando

w: Hay consenso entre los disputados.

Ley de inferencia aplicada: Ley de inferencia MODUS TOLLENDO TELLENS (TT) (que significa negando niego)

Tenemos por enunciado:

q ⇒ p

p ⇒ w

No hay consenso entre los diputados entonces tenemos ¬w ⇒ ¬p (Negando niego)

¬p ⇒ ¬q (El proyecto no sera ejecutado)