Prove that you can derive V-elimination rule from the the other rules by giviung a formal proof
I also have a question. In forming a negative statement, is the negative particle located before or after a verb? The answer is, it depends on the language. In English, "not" comes before a verb, e.g., "I do not want Brussels sprouts." In French, "ne" is located before a verb and "pas" is located after, e.g., "Je ne veux pas de chou de Bruxelles." (Arguably, "pas" is more important of the two.)
I am saying that unless you say what formal language (axioms and inference rules) you are using, there is no way to answer your question.
I presume that by "formal language", Mike12 was referring to the concept from mathematica logic, not a language in the sense of English or French. However, I have to admit that I have no idea what "V elimination" means!
Aha! I googled "Formal Language" and "v-elimination" and find that this is what I would call "modus tollens ponens" or "if 'p v q' (p or q) and 'not q' then p". Apparently the "v" being eliminated is the "or" symbol! I believe it can be derived from other, more basic, rules of logic but you must specify exactly which rules you are taking as "postulates".