Satisfaction is a relationship between specific sentences and specific truth assignments. It is a formal language, i.e., its expressions (such as sentences) are defined formally. In Logic, we are usually more interested in properties and relationships of sentences that hold across all truth assignments. Learn how to identify, analyze, and evaluate arguments using propositional logic, categorical logic, inductive arguments, and fallacies This document is a PDF file that explains the basics of log