Go backward to Indirect Method for Implications Go up to Top Go forward to Example |
Proposition: For proving with knowledge K the goal G0 /\ G1, it suffices to prove both G0 and G1:
~~>
K G0 /\ G1
K G0
K G1
We have to show G0 /\ G1.
A conjunction is shown by showing both conjuncts in turn.