previous up next
Go backward to Example
Go up to Top
Go forward to Universal Quantification in Knowledge
RISC-Linz logo

Typical Use

We have a formula (F0 \/ ... \/ ...Fn-1) in our knowledge:

K union {F0 \/ ... \/ Fn-1}
G
~~>
K union {F0}
G
...
K union {Fn-1}
G

We have to prove G. Since we know (F0 \/ ... \/ Fn-1), it suffices to consider the following cases:


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next