Discrete Mathematics

I am having trouble using modus ponens and all the rules of inherence. By any chance do you guys have a link that can explain these concepts in more detail. I've tried multiple books and links...and haven't found a good website that shows this types of proofs in good explanation and i am having trouble understanding it.

  1. 👍 0
  2. 👎 0
  3. 👁 213
asked by manny
  1. Suppose that statement Z says that a piece of paper will burn, Y says that a piece of paper will burn when put in a fire, and that X says that the piece of paper is in the fire.

    Then Y can be written as:

    X ----> Z

    Modus ponens then says that if X is true and Y is true then Z must be true.

    Conversely, given that Y is true and Z is false, it follows that X must be false (because if X were true Z has to be true). So the statement:

    X ----> Z

    is equivalent to

    Not(Z) ---> Not(X)

    1. 👍 0
    2. 👎 0
  2. got it

    thanks!!!

    1. 👍 0
    2. 👎 0
    posted by manny

Respond to this Question

First Name

Your Response

Similar Questions

  1. Logic

    If I move to Texas, I will need air conditioning. I don't need air conditioning. So I didn't move to Texas" is an argument form known as (Points : 1) modus ponens. modus spumoni. modus operandi. modus tollens.

    asked by SW on September 11, 2011
  2. PHI103

    Can anyone show me an example of how to do "modus ponens and "modus tollens". I have to write an argument in symbols using sentence letters and truth functional connectives. I have no clue to grasp the concept.

    asked by MYMADNESS on October 25, 2011
  3. english

    hypothetical syllogisms can have two valid and two invalid structures. The two valid structures are affirming the antecedent or modus ponens and denying the consequent or modus tollens. The two invalid structures or fallacies are

    asked by m on October 11, 2012
  4. English-Ms. Sue please

    hypothetical syllogisms can have two valid and two invalid structures. The two valid structures are affirming the antecedent or modus ponens and denying the consequent or modus tollens. The two invalid structures or fallacies are

    asked by m on October 11, 2012
  5. PHI 103

    Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truth-functional connectives. The following is one of the

    asked by BJ on September 5, 2012
  1. PHI103

    Sorry, I didn't post my argument the last time. Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truth-functional

    asked by BJ on September 5, 2012
  2. PHI103

    write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Can you give me what advantages does being able to symbolize our arguments provided? are there disadvantages to using the

    asked by mary smith on November 24, 2011
  3. PHI 103

    PHI 103 Symbolic Logic- write 2 argument in English,one in the form of modus ponens and one in the form of modus tollens.Then write the argument in symbols using sentences letters and truth-functional connectives.

    asked by Vandella on September 29, 2011
  4. logic

    ic Logic Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truth-functional

    asked by yolanda on April 25, 2013
  5. Informal Logic

    rite two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truth-functional connectives. (If your computer does not have all

    asked by Nicole on August 5, 2012

More Similar Questions