Generalized Modus Ponens
Inference rule
p1,
, pn, (=> p1
pn q)
----------------
Subst(?, q)
Example inference
- p1: (Missile M1)
- p2: (Owns Nono M1)
- (=> (Missile ?x) (Owns Nono ?x) (Sold West Nono ?x))
- p1: (Missile ?x)
- p2: (Owns Nono ?x)
- q: (Sold West Nono ?x)
- Subst(({?x / M1}), (Sold West Nono ?x)):
(Sold West Nono M1)