Good point. Boole boosted logic the same way. a ∧ (a → ¬b) → ¬b is easier to reason with than Socrates is a man, no man is immortal, therefore Socrate is not

Good point. Boole boosted logic the same way. a ∧ (a → ¬b) → ¬b is easier to reason with than Socrates is a man, no man is immortal, therefore Socrate is not immortal.