Labels:poster | reckoner | sky | skyscraper | vegetarianism | windowpane OCR: CS340: Discrete Structures Homework #7 7. Prove the correctness of the followins wff where and y are integers. +1 {xy} 1+h2Xg 3y=y+ x=y3 A 1y+1 X=X-1 Fxzy+1} y+1 xzy .om Gad itiam QED Prove the correctness of the Tollowing wff where and take integer values {3xy= 2x)} E} 1.y-5=2x-3 y:=y-s xy=2x+} AA (xc=h)xE xy-5= 2x+1) E6 (x/i-2) 3xy =2x) x(y-5=2x+1) QEn Con5eyunc 81 following x2y3 cortectncss axf1 Lonseyuenet
