Natural Deduction Rule for Symbolic Logic 1 M v T M 2 M T

Natural Deduction Rule for Symbolic Logic.

1.) M v ( T M)

2.) ~ M

/ T

I got DS for the next line

So,

3.) ( T M ) 1,2 DS

What\'s next?

Solution

Answer :

The premises are given by

M v ( T M)

~ M

and the conclusion is T

1. M v ( T M)                   Premise

2.    ~ M                                Premise

3.           T M                            ( 1 ) , ( 2 ) , Dissjunctive syllogism

4.           ~ T    ( 2 ) , ( 3 ) Modus Tollen\'s rule