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 Tollens (Denying the consequent)

    • We again make two claims. 1.) The implication P Q, and 2.) that Q is false. We can conclude that P is false as well.

    • If P , then Q . ¬Q Therefore, ¬P

    • Example:

      • Detects(alarm, intruder) → GoesOff(alarm),

      • ¬GoesOff(alarm)

      • Allows us to conclude:

      • ¬Detects(alarm, intruder)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.