CIS 1910 Lecture Notes - Lecture 9: Luiza, String Instrument, Propositional Calculus

• School: University of Guelph
• Department: Computing and Information Science
• Course: CIS 1910
• Professor: Luiza Antonie

Document Summary

The following are the correct answers to problems most people had trouble with: the domain for the variables x and y are the set of musicians in an orchestra. The predicates s, b, and p are de ned as: P (x, y) : x practices more than y. Give a quanti ed expression that is equivalent to the following english statements: (a) someone in the orchestra plays a string instrument and a brass instrument. X (s(x) b(x)) (b) there is a brass player who practises more than all the string players. X y (b(x) s(y) = p (x, y)) (c) all the string players practise more than all the brass players. X y (s(x) b(y) = p (x, y)) (d) exactly one person practises more than sam. X (p (x, sam) y (p (y, sam) = (y = x)) (e) sam practises more than anyone else in the orchestra. Y ((y = sam) = p (sam, y))