Natural Deduction Proof 1 ZDAK 2 n JPU NEDZ JD NX EDNK Solut

Natural Deduction Proof

1 ZDAK 2 (n JPU) (NEDZ) JD NX EDNK

Solution

Answer :

Consider the given premises

Z ~K

(~J U ) (~E Z )

~X U

~J ~X

And the conclusion is ~ E ~ K

Proof :

1. ~J ~X               Premise

2. ~X U                Premise

3. ~J U                                        ( 1 ) , ( 2 ) , Chaun rule

4. (~J U ) (~E Z )    Premise

5. ~E Z    ( 3 ) , ( 4 ) , Modus Ponen\'s rule

6. Z ~K Premise

7.   ~ E ~ K ( 5 ) , ( 6 ) , Chaun rule

Hence , the conclusion is logically follows from the given premises.