7

Disjunction elimination ($\lor$E): if $P\lor Q$ and from $P$ we can prove $X$ and from $Q$ we can prove $X$, then $X$.

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.