Results 1 to 3 of 3

Math Help - proposetion

  1. #1
    Junior Member
    Joined
    Jan 2011
    Posts
    46

    proposetion

    Prove that you can derive V-elimination rule from the the other rules by giviung a formal proof
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,528
    Thanks
    773
    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.
    Last edited by emakarov; January 30th 2011 at 05:37 AM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,569
    Thanks
    1410
    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".
    Last edited by HallsofIvy; January 29th 2011 at 02:16 PM.
    Follow Math Help Forum on Facebook and Google+

Search Tags


/mathhelpforum @mathhelpforum