11

Negation introduction ($\neg$I): if from $P$ we can prove $\bot$, then $\neg P$.

David teaches and researches maths at King’s College London, with a focus on geometry. In his spare time he likes to make music and read poetry.

More from Chalkdust

Both comments and trackbacks are currently closed.