Line | Proposition | Rule used |
---|---|---|
Click "start" to generate list. |
Choose the syllogism you want to prove (use the menus).
Click on the buttons in order to construct a proof of the argument
Explanation:
If the above argument is provable, the combination of the premises and the negated conclusion leads to a contradiction. Click on the rule buttons in order to construct a proof (if possible).