Soal No 6 (Set Theory)

6.       Show that (i)   ̴x eq   ̴(xvy) and (ii) x eq (x→y) →(x→y) from these find the equivalent formulae of x˄y, x→y and x↔y as iterated compositions of joint negations

Answer : . . . . 

 Filenya dapat diunduh disini