Discrete Mathematics

posted by .

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.

  • Discrete Mathematics -

    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)

  • Discrete Mathematics -

    got it

    thanks!!!

Respond to this Question

First Name
School Subject
Your Answer

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.
  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?
  3. 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.
  4. PHI 103 Informal 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 connectives. (If your computer does not have all …
  5. PHY103

    Write 2 arguments in english, one in the form of modus ponens and one in form of modus tollens. Then write the arguments in symbols using sentence letters and truth functional connectives. What advantages does being able to symbolize …
  6. Informal Logic 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. (If your computer does not have all …
  7. 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 …
  8. 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 arguments …
  9. 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 …
  10. 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 denying …

More Similar Questions