Introduction to logical reasoning: categorical statements, relations between categorical statements (independence, consistency, equivalence), arguments, syllogisms, propositional logic, truth tables, inference rules.