1.
2.
3.
/C
See also:
Implication
Formal Proof
Well Formed
Validity
conj
simp
>
(A & B)
(C & D)
A & B
C & D
C
A
B
4.
5.
6.
2, 3 Conj
1, 4 MP
5 Simp
1. Find an implication whose left component is a conjunction .
2. See if you have the left & right components of the conjuction on other lines?
3. Conjoin the left and right components.
4. Follow with deriving the implications right component by MP.
1. Is there a new conjunction in the proof?
2. of proof?
3. Apply simplification to it.
Next Step
Previous Step
