MichaelHoffmann / AGORA

AGORA main repository
GNU Affero General Public License v3.0
7 stars 0 forks source link

modus tollens, 2 reasons, connected by and / or #215

Closed MichaelHoffmann closed 10 years ago

MichaelHoffmann commented 11 years ago

When you create an argument with two reasons and select modus tollens, you are forced to decide whether the reasons should be connected by "and" or "or" in the enabler. That is fine. But when you then switch back to modus ponens, the "and / or" options is still there, and that does not make sense. It must disappear.