11

Published at 443 × 450 in How can we tell that 2≠1?

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.
davidsheard.co.uk/    All articles by David

More from Chalkdust

Both comments and trackbacks are currently closed.