A1. Formal logic is the study of the principles of valid reasoning and argumentation, focusing on the structure of arguments and the rules of logical inference.