In propositional logic, a formula
In languages other than propositional logic, this concept can be generalize into valid formula.
In propositional logic, a formula
In languages other than propositional logic, this concept can be generalize into valid formula.