Natural Deduction Proof VY f Y R 123 SolutionAnswer The pre

Natural Deduction Proof

Solution

Answer :

The premises are given by

( R V ) ~ V

Y V

R Y

The conclusion is ~ Y

Proof :

1. R Y                                       Premise

2. Y V                                     Premise

3. R V                                      ( 1 ) , ( 2 ) , Chain rule

4. ( R V ) ~ V                        Premise

5. ~ V                                         ( 3 ) , ( 4 ) , Modus ponen\'s rule

6. ~ Y    ( 2 ) , ( 5 ) , Modus Tollen\'s rule    

hence the conclusion is logically follows from the given premises.