Logical reasoning covering arguments, propositions, syllogisms, symbolic logic, quantification, fallacies, and inference techniques.