Formalization Proposition Proposition Variable Logic Connectives Fundamental Logic Logic Formulas Logical Equivalence Elements Predicate Inference QuantifierFormalization Fundamental Logic Elements ► Proposition & Proposition Variable ► Logic Connectives ► Logic Formulas ► Logical Equivalence ► Predicate & Quantifier ► Inference