Syllogisms
Under construction
Next section: Logical identities