Logic for computer science.

Solutions for c,d,e and f please.

FY L (a), (b). Exercise 18 let 4, 4, 0 ESCP). Show each of the following metatheor ons (a) (4x4) ta r solution. If vlery)=T fer a truth assignment w, then (b) MAY) 64 d ... E (vece), V(4) ) clearly (4)= v(V)=T, (c) UV EPAP) (c) Yr(avy) ce) 8 FMV) (f) If y to and Y. Io, then (ery) to. FY L (a), (b). Exercise 18 let 4, 4, 0 ESCP). Show each of the following metatheor ons (a) (4x4) ta r solution. If vlery)=T fer a truth assignment w, then (b) MAY) 64 d ... E (vece), V(4) ) clearly (4)= v(V)=T, (c) UV EPAP) (c) Yr(avy) ce) 8 FMV) (f) If y to and Y. Io, then (ery) to