MichaelHoffmann/AGORA — Issue #171: modus tollens only-if-and
Author: MichaelHoffmann
Created: 2012-01-07 09:29:12+00:00
State: open
Labels: Feature - Near Future

such an argument is formed in test-121. The enabler is true, but the conclusion can be negated if just ONE of the reasons is negated -- exactly this is the whole point of using modus tollens only-if-and. What we need is the option, after the entire argument is completed as it is now, that the user can remove the negation with all reasons but one. And he needs to be able to change back to negation. Only one reason needs to be negated in modus tollens only-if-and, which one can be determined by the user.