Kenneth Rosen Ex.1.3 Q.37

Question

Express each of these statements using predicates and quantifiers.

a) A passenger on an airline qualifies as an elite flyer if the passenger flies more than 25,000 miles in a year or takes more than 25 flights during that year.

Comments

let M(x,y):person x flies more than y miles in year.

     f(x,y):person x takes more than y flights in that year.

     E(x):person x qualifies as elite player in that year.

then it can be shown as:∀x((M(x,25000) ∪f(x,25)) implies E(x))

---

why not this ∀x(E(x) implies (M(x,25000) ∪f(x,25)))

---

p$\rightarrow$q means that if p then q.read question again then you will know.