Generalized Modus Ponens
Example inference
- Given –
- (Missile M1)
- (Owns Nono M1)
- (=> (Missile ?x) (Owns Nono ?x) (Sold West Nono ?x))
- Infer in one proof step: (Sold West Nono M1)
Needed: an inference rule combining –
- And Introduction
- Universal Elimination
- Modus Ponens