Question: Symbolize the following sentences in PL, using quantifiers wherever appropri- ate, using the following symbolization key: UD: Gy: Jy: Ay: Ly: Mxy: b: The
Symbolize the following sentences in PL, using quantifiers wherever appropri- ate, using the following symbolization key: UD: Gy: Jy: Ay: Ly: Mxy: b: The set of seniors at Dartmouth College y will graduate y will get a job y will join the Army y will become a longshoreman x will make more money than y Bob C: Carol d: David e: Emily a. All of those who graduate will get jobs. b. If David will graduate, all seniors will graduate. c. If at least one senior graduates, they will all graduate. d. Everyone who doesn't graduate will join the Army. e. If anyone joins the Army both Carol and David will. *f. Everyone will graduate or no one will graduate. g. Each senior will either graduate or not graduate. h. If anyone who graduates becomes a longshoreman Emily will become a long- shoreman. i. Everyone who becomes a longshoreman will make more money than will eve- ryone who does not. *j. Each senior will join the Army if and only if he or she does not graduate.
Step by Step Solution
There are 3 Steps involved in it
To symbolize the sentences in predicate logic PL using the provided key well define each sentence wi... View full answer
Get step-by-step solutions from verified subject matter experts
