1.
2.
3.
/D
See also:
Implication
Formal Proof
Well Formed
Validity
cd
(
A
>
B
)
&
(
C
>
D
)
~B
A
+
C
+
B
D
4.
1,3 CD
1. Find a disjunction.
2. Find a conjuction whose left and right components are implications , where the left components of the implications match the components of the disjunction.
3. You can derive a disjunction made up of the right components of the right components of the of the conjunctions right and left implications.
HINT: If the components of the conjunction are on separate lines you will have to conjoin them first.
