Discrete Mathematics
posted by manny .
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.

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) 
got it
thanks!!!
Respond to this Question
Similar Questions

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. 
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? 
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. 
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 truthfunctional connectives. (If your computer does not have all … 
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 … 
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 truthfunctional connectives. (If your computer does not have all … 
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 truthfunctional connectives. (If your computer does not have all … 
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 truthfunctional connectives. The following is one of the arguments … 
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 truthfunctional … 
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 …