I’m in my second year of an undergraduate philosophy degree. Last year we did classical logic (TFL and FOL truth tables and fitch style natural deductions). This year, one of the topics we are studying is intuitionistic logic.
Today, the lecturer said that intuitionistic logic does not contain tertium non dater (TND) as a rule because you can use TND to prove the law of excluded middle (LEM). Could somebody please post a natural deduction in which LEM is proved using TND? Would appreciate it if you used Fitch style natural deduction.
Apparently there are different names for the rule I am calling tertium non dater (TND), but what I mean is this rule:
|B (proved from A).
|B (proved from not-A).
B (TND discharging assumptions)