This sign, for example, would therefore present the proposition p ⊃ q . Now I will proceed to inquire whether such a proposition as ~ ( p . ~ p ) (The Law of Contradiction) is a tautology. The form “ ~ ξ ” is written in our notation
the form “ ξ . η ” thus:—