show that the following arguement is valid be sure to justi

show that the following arguement is valid . be sure to justify each step using either the rules of inference or logical equivalences.

Solution

we can write it in simple expression as

R ^ (-F v N) ^ (-N) ^ (-A -->F) -----> (A^ R)

we are given

-F V N

-N

--------------

-F by using disjunctive syllogism

so, we get

R

-F

-A-->F

we can simplify

-A--->F

-F

----------------

-(-A)=A by using modus tollens

so, we will get

A

R

-------

A ^ R ..................Answer