Quote:
Originally Posted by Random_guy  Surely it should be let A = the event that person X is a mathematician, and let B = the event that person X is a pedant then A => B but B =/=> A
Oh dear..................... |
But you're talking in Mathematics. I was talking in logic.
I don't think there is a '=' operator in logic... The closest you come is the double implication 'if and only if'...
So...
let A represent the proposition 'X is a mathematician'
let B represent the proposition 'X is a pedant'
then A => B and not B => A
(using => for 'implies' as the damn PC doesn't seem to have the correct characters...)
or, rewriting the first term in a more fundamental form: ¬A or B