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:
“Just as soon as we notice that someone has to force himself to pay attention when dealing and talking with us, we have a valid demonstration that he does not love us or that he does not love us anymore.”
—Friedrich Nietzsche (18441900)
“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