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 (1896–1948)
“My formula for greatness in human beings is amor fati: that one wants to change nothing, neither forwards, nor backwards, nor in all eternity. Not merely to endure necessity, still less to hide it—all idealism is mendacity in the face of necessity—but rather to love it.”
—Friedrich Nietzsche (1844–1900)