1.
2.
3.
/~B
See also:
Implication
Formal Proof
Well Formed
Validity
mt
>
(A & B)
(~D + S)
~(A & B)
A
~(~D + S)
4.
1,3 MT
1. Find a line with implication as a main connective.
2. Pick out the right sub-expression.
3. Scan lines to find a negation of the right sub-expression.
4. Append line showing you derived negation of the left component of line 1 by MT from lines 1 and 3.
