LogicalFormula

A logical formula, in the context of propositional logic, is a statement that consists of various logical connectives and atomic propositions (also known as atoms). These connectives include negation (~), conjunction (∧), disjunction (∨), and implication (⇒). A logical formula represents a logical relationship between atomic propositions and is evaluated to either true or false depending on the truth values of its constituent atomic propositions.