General format, expressed by mathematical symbols, the formula of a certain relationship between various quantities (such as laws or theorems) can be applied to the methods of similar things.
Formulas, in mathematics, physics, chemistry, biology and other natural sciences, use mathematical symbols to express the relationship between several quantities. It is universal and applicable to all similar problems. In mathematical logic, a formula is a formal grammatical object to express a proposition, but the proposition may depend on the free variable value of the formula.
Noun explanation:
According to the semantic inference rules of predicate logic, semantics should be consistent, that is, for a propositional logic statement set F, if and only if there is an explanation that at least all elements of F are true under I, then F is semantically consistent. In propositional logic semantics, an assignment cannot give a propositional atomic formula both truth and false. In propositional logic semantics, under the same interpretation, a set cannot belong to both the extension of a predicate and the extension of this predicate.