Science Fair Project Encyclopedia
Validity
(Redirected from Valid)
In logic, an argument is said to be valid if the truth of the conclusion follows from the truth of the premises.
A formula is said to be valid (or tautologous) if it is true under every valuation (also interpretation). Refer to the truth table article.
Consider the following argument form in which the letters P, Q, and A represent unanalyzed or uninterpreted sentences.
- All P are Q
- A is P
- Therefore, A is Q
We can determine the validity of an actual argument by translating it into an argument form, and then analyzing the argument form for validity. (The argument form above is valid; see syllogism.)
See also:
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details