Falsum Introduction

How to apply ⊥ I

1. Select ⊥I from the Intro Rules menu in the ToolBox.
   Show me
2. Select the positive (non-negated) member of the contradictory pair in the Fitch.
   Show me
3. Select the negative (negated) member of the contradictory pair in the Fitch.
   Show me
4. Click the Apply Rule button in the Toolbox.
   Show me

• Watch a demonstration of ⊥I being applied

Troubleshooting

If you're having trouble applying ⊥I, click on the statement below that best describes the problem you're having.