A formula in which negation signs apply only to simple predicates we call a -form formula. [Hint]
The symbolization ( x)(x x) is the formula for the general subject-predicate proposition known as the proposition. [Hint]
We can work best with formulas in which the sign applies only to simple predicatesor does not appear at all. [Hint]
The two types of general propositions are A and I. [Hint]
The Greek letters and are used to represent any (s) whatsoever. [Hint]