1.
2.
3.
/(A & B) > K
See also:
Implication
Formal Proof
Well Formed
Validity
hs
>
(A & B)
(~D + S)
(A & B) > K
A
>
(~D + S)
K
4.
1,3 HS
1. Find a line with implication as a main connective.
2. Find another implication.
3. Does a left and a right component of respective implications match?
4. If so: derive a new implication using left and right components that do not match.
