Go backward to Go up to Top Go forward to Example |
Proposition: For proving with knowledge K the goal G, it suffices to prove G with additional knowledge F and to prove G with additional knowledge ~F (for some formula F).
~~>
K G
K union {F} G
K union {~F} G
We have to prove G.
Decompose the universe of situations by an assumption.