The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
0 votes
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.
asked in Mathematical Logic by Active (3.6k points) | 29 views
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 question again then you will know.

Please log in or register to answer this question.

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
47,931 questions
52,335 answers
67,817 users