Formal Logic Or, the Calculus of Inference by Augustus de Morgan