2

I am new to natural deduction and upon reading about various methods online, I came across the rule of bottom-elimination in the following example.

enter image description here

I do not understand the step in line 10.

Upon inspection, my initial thought would be that the assumption of ¬p and p both being true is absurd, hence anything can be inferred ( in this case 'p'). However, if this were the case where would you stop (this seems to be an overly powerful tool)? So I assume that this idea is wrong.

Could someone help me understand the rule?

NOTE: I came to StackExchange due to the lack of resources and specific information online.

Newbie123
  • 125
  • 6

1 Answers1

2

Usually in practice we weld the two steps together and just say that from $p$ and $\lnot p$ anything follows, but in formal logic this is a combination of two rules of inference:

  1. $p$ and $\lnot p$ both together entail falsehood $\bot$,
  2. from $\bot$ anything follows.

These are precisely lines 9 and 10 in your proof.

We often take $\lnot p$ to be an abbreviation for $p \Rightarrow \bot$, in which case the rule "from $p$ and $\lnot p$ follows $\bot$" is just a special case of modus ponens "from $p$ and $p \Rightarrow r$ follows $r$".

Andrej Bauer
  • 31,657
  • 1
  • 75
  • 121