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.

Generalized Modus Ponens (GMP)

  • General definition: Given
    • atomic sentences P1, P2, ..., PN
    • implication sentence (Q1 ∧ Q2 ∧ ... ∧ QN) R
      • Q1, ..., QN and R are atomic sentences
    • substitution subst(θ, Pi) = subst(θ, Qi) for i=1,...,N
    • Derive new sentence: subst( θ , R)
  • GMP is usually written formally as following:  

Speaker notes:

Content Tools


There are currently no sources for this slide.