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}
K union {F0}
K union {Fn-1}

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