Compound propositions, truth tables, implications, logical equivalence, oncerse, contrapositive and inverse.