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
We have to show G0 /\ G1.
A conjunction is shown by showing both conjuncts in turn.