home *** CD-ROM | disk | FTP | other *** search
/ ftp.ee.pdx.edu / 2014.02.ftp.ee.pdx.edu.tar / ftp.ee.pdx.edu / pub / users / Harry / discrete / hw-solutions / HW7-2.jpeg < prev    next >
Joint Photographic Experts Group Image  |  2010-06-09  |  190KB  |  848x999  |  8-bit (212 colors)
Labels: bulletin board | dirt track | earth | paper | poster | reckoner | sand | sky | skyscraper | vegetarianism | windowpane
OCR: CS340: Discrete Structures Homework #7 Descri be model for each of the follow ing wffs. XE p(x) 3r p(x) here exis ts btr hich odd) b.Vx3y px.y -pyx /There taists num her which T5 nat ad -p(x,y) For ever number xd Intesgers) 50: number Sucl Mears hct xy Deseribe countermodel for each of the following wffs and XE x XA p(x) ad 7x(x Obd faise: ANyTHING false b.xpr A XE q(x) 3x (x)d) (x)) N odd Thre ada exists There exists ALSE mner thet EA p(x,y 3x Vypx.y) bot odar there There D-N whid b.crs FALSE Let Cx) mean xis a child, Vx mean farser tham vegetable all and L mean likes Find wff to formalize each of the following English sent ences Every child hates some vegetable V( Lcv) J~(V(v)A Some chitd hates all vegetables v() (V(r) ((13)7 "Onty adults like vegetabtes Amhignons All ch Ia/e AV hat.p al ...