previous up next
Go backward to Example
Go up to Top
Go forward to Infering Additional Knowledge
RISC-Linz logo

Additional Knowledge

Proposition: For proving with knowledge K the goal G, it suffices to prove G with additional knowledge F, if F holds in every domain in which (some of) the formulas in K holds.

K
G
~~>
K union {F}
G
(F holds in every domain in which K holds).

Derive new knowledge F from (a subset of) K.


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next