Statements Used in Symbolic Logic