Propositional logic It represents real-world facts as logical propositions in well formed formulas. It presented as an atomic propositions, and complex.