Validity (logic)

In <a href="/facts/Logic/8JnpJLtt">logic</a>, specifically in <a href="/facts/Deductive_reasoning/HadA1zWS">deductive reasoning</a>, an <a href="/facts/Argument/1K1e3Xg4">argument</a> is valid <a href="/facts/If_and_only_if/bYSxGJ66">if and only if</a> it takes a form that makes it impossible for the <a href="/facts/Premise/HluL8lcd">premises</a> to be <a href="/facts/Truth/NyQmBtUC">true</a> and the conclusion nevertheless to be <a href="/facts/False_(logic)/H6v5aztR">false</a>. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called <a href="/facts/Well-formed_formula/YpTVlzuj">well-formed formulas</a> (also called wffs or simply formulas). 
The validity of an argument can be tested, proved or disproved, and depends on its <a href="/facts/Logical_form/foVBtMX4">logical form</a>.

Validity (logic) open-in-new

Validity (logic)