The following mathematical discussion is aimed at readers with some notions of logic, as taught in particular in first-year university.
Proposition
It is sometimes easier to prove that A=>B by proving that !B and A is absurd
(=FALSE), or in other words...
read more >>