Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Modus Ponens and Modus Tollens

  • Modus Ponens (Law of Detachment )

    • Based on claiming 1.) that P is true, and 2.) the implication P Q , we can conclude that Q is true.

    • If P, then Q. P, therefore, Q

    • Example:

      RegularlyAttends(joe, lecture),

      RegularlyAttends(joe, lecture) → Pass(joe, lecture)

      Allow us to conclude:

      Pass(joe, lecture)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.