Professional Documents
Culture Documents
6, Problem 11E
Problem
Show that the argument form with premises and conclusion is valid if the
argument form with premises and conclusion r is valid.
Step-by-step solution
Step 1 of 2
From the definition of a valid argument form, the argument form with premises and
conclusion q is valid, when is a tautology.
Step 2 of 2
The objective is to show that argument form with premises and conclusion
is valid if the argument form with premises and conclusion is valid.
For this consider that is true then need to show that is true. For this note
that if is false then the proof is done vacuously. Otherwise, is true so by the validity of the
provided argument that is, whenever is true then must be true shows that is
true.
Hence proved.