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)

    “I cannot give you the formula for success, but I can give you the formula for failure—which is: Try to please everybody.”
    —Herbert B. Swope (1882–1958)