Validity - Valid Formula

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)

    “For the myth is the foundation of life; it is the timeless schema, the pious formula into which life flows when it reproduces its traits out of the unconscious.”
    —Thomas Mann (1875–1955)