Thursday, January 19, 2012

Modus Ponens

Modus ponens is a very common rule of inference, and takes the following form:

If P, then Q.
P.
Therefore, Q.

No comments:

Post a Comment