1. Venn diagrams use circles and areas to represent categorical propositions about relationships between classes.
2. Universal affirmative propositions are represented by one class being fully contained within the other. Universal negative propositions use a shaded area to show no overlap between classes.
3. Symbolic logic uses symbols and operators like conjunction, disjunction, implication, equivalence and negation to construct statements and analyze arguments for validity.