A proposition is a statement that may be true or false. Its two principal types here are categorical and conditional.
A categorical affirms or denies a predicate of a subject. Its components are subject, predicate and copula. Affirmatives assert the connection and negatives deny it; either type may be true or false.
A conditional states a relation between two propositional contents, called antecedent and consequent. Negating the conditional connection must not be confused with negating its antecedent.
The next lesson examines classifications based on the subject and the scope of the judgment over individuals.