[Continuing approach based on Modus Ponens with unification:]
(b) unify conjunction of 9 & 11 with relevant parts of premise of 4:
i.e. unify amountsaved(22000) _ dependents(3) [9 & 11]
with amountsaved(x) _ dependents(y) [premise of 4]
under the substitution: {22000/x, 3/y} giving sentence:
amountsaved(22000) _ dependents(3) _ greater(22000, minsavings(3))]
_ savings(adequate)
then evaluating the function minsavings(3) gives sentence:
amountsaved(22000) _ dependents(3) _ greater(22000, 15000)]
_ savings(adequate)
premise of implication is true, so can assert conclusion as:
13. savings(adequate)
whence from sentences 3, 12 and 13, premise of 3 is true,
so that the conclusion is finally:
investment (combination).
| Previous slide | Back to first slide | View graphic version |