Solution Found!
In Exercises 1116, prove that each wff is a valid
Chapter 1, Problem 11(choose chapter or problem)
QUESTION:
In Exercises 11-16, prove that each wff is a valid argument.
(\(\forall\)x) P (x) \(\rightarrow\) (\(\forall\)x) [P (x) \(\vee\) Q (x) ]
Questions & Answers
QUESTION:
In Exercises 11-16, prove that each wff is a valid argument.
(\(\forall\)x) P (x) \(\rightarrow\) (\(\forall\)x) [P (x) \(\vee\) Q (x) ]
ANSWER:Step 1 of 2
The validity of any well-written formulae (wff) can be verified by some existing rules. Here we have to prove that, if the property P is true for every X, then the property \(P \vee Q\) is true for every X. Theoretically, it is true as the property P is true for all X.