The Principle of Contradiction and Symbolic Logic