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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.