Go backward to Example Go up to Top Go forward to Universal Quantification in Knowledge |
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: