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)