Logic08aNegationIntroduction

Theory for the proof rule of negation introduction, which is a way of reasoning using contradiction that arises when we can use proof rules to arrive at a contradictory proposition.
Part of a series of lectures: