Disjunction elimination ($\lor$E): if $P\lor Q$ and from $P$ we can prove $X$ and from $Q$ we can prove $X$, then $X$.
![](https://i0.wp.com/chalkdustmagazine.com/wp-content/uploads/2020/04/david_sheard-1.jpg?resize=150%2C150)
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
Ode to Newtonian mechanics
(after Sonnet 130)My favourite LaTeX package
The Chalkdust editors share some of their favouritesIn conversation with Ulrike Tillmann
Sophie Maclean and David Sheard speak to a very top(olog)ical mathematician!Page 3 model: Solitons
SolitonsChalkdust issue 11 puzzle hunt #3
David Sheard sets the third puzzle. Can you solve it?On the cover: Apollonian packing
David Sheard explores the rich mathematics and history behind the Apollonian packing, and the cover of issue 11