Logical identities
Under construction
Next section: Practical uses of logic