On truth-functional propositional logic, the student perfectly identifies truth values, uses inference rules, and recognizes the functions of logical connectives. These premises are useful in everyday decision-making and argument analysis.