9

Implication elimination ($\Rightarrow$E): if $P\Rightarrow Q$ and $P$, then $Q$.

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.