previous up next
Go backward to Indirect Method for Implications
Go up to Top
Go forward to Example
RISC-Linz logo

Decomposition of Conjunctions

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.

  1. ...(proof of G0).
  2. ...(proof of G1).

A conjunction is shown by showing both conjuncts in turn.


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next