The proof is pretty trivial.
Start by leaving the "creation" part out of the sentence.
(edited by Tom)
Any form "exists" if it is a part of something else that "exists."
This breaks down to
P-->E,
where:
P: A form is part of something else that exists.
E: A form exists.
The truth of the antecedent is determined by recognizing that being part of something else that exists can include being the
whole part of that something else. It is just like, "the set of real numbers is a(n) (imrpoper) subset of the set of real numbers". The truth of the consequent follows trivially from the truth of the antecedent, which declares that such forms "exist".
Now, note the truth table of p-->r (lowercase letters are logical variables):
p...q...p-->r
T...T...T
T...F...F
F...T...T
F...T...T
Note that the only way for the above schema to be false is if a true antecedent implies a false consequent. That's important![/color]
Now add the "creation" part.
Any form "exists" if it has been created/assembled/ or if it is a part of something else that "exists."
So now, we have changed the statement to:
(P OR C)-->E
where
C: A form has been created/assembled.
Now note the truth table of (p OR q):
p...q...(p OR q)
T...T...T
T...F...T
F...T...T
F...F...F
Note that the only way for the above schema to be false is if both p and q are false.[/color]
But earlier, we noted that the first of the two conjuncts is true[/color]. Therefore, it doesn't even matter if statement C is true or false.[/color]
Thus, the "creation" part is irrelevant to the truth or falsity of the overall statement.