Posted by manny on Thursday, September 13, 2007 at 2:31pm.
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  Count Iblis, Thursday, September 13, 2007 at 3:27pm
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  manny, Thursday, September 13, 2007 at 3:50pm
got it
thanks!!!
Answer This Question
Related Questions
 PHI103  Can anyone show me an example of how to do "modus ponens and "modus ...
 Informal Logic  rite two arguments in English, one in the form of modus ponens ...
 Informal Logic 103  Write two arguments in English, one in the form of modus ...
 PHI 103 Informal Logic  Write two arguments in English, one in the form of ...
 PHI 103  Write two arguments in English, one in the form of modus ponens and ...
 PHI103  Sorry, I didn't post my argument the last time. Write two arguments in ...
 PHI103  write two arguments in English, one in the form of modus ponens and one...
 PHY103  Write 2 arguments in english, one in the form of modus ponens and one ...
 english  hypothetical syllogisms can have two valid and two invalid structures...
 Logic  If I move to Texas, I will need air conditioning. I don't need air ...
More Related Questions