Valid Formula
A formula of a formal language is a valid formula if and only if it is true under every possible interpretation of the language. In propositional logic, they are tautologies.
Read more about this topic: Validity
Famous quotes containing the words valid and/or formula:
“Written poetry is worth reading once, and then should be destroyed. Let the dead poets make way for others. Then we might even come to see that it is our veneration for what has already been created, however beautiful and valid it may be, that petrifies us.”
—Antonin Artaud (18961948)
“The formula for achieving a successful relationship is simple: you should treat all disasters as if they were trivialities but never treat a triviality as if it were a disaster.”
—Quentin Crisp (b. 1908)
Related Subjects
Related Phrases
Related Words