Deductive reasoning structures, symbolic notation, and truth tables to evaluate argument validity. Identifies formal fallacies and constructs sound logical proofs.