contestada

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.
b) A man qualifies for the marathon if his best previous time is less than 3 hours and a woman qualifies for the marathon if her best previous time is less than 3.5 hours.
c) A student must take at least 60 course hours, or at least 45 course hours and write a master’s thesis, and receive a grade no lower than a B in all required courses, to receive a master’s degree.
d) There is a student who has taken more than 21 credit hours in a semester and received all A’s.

Respuesta :

ridxee

Answer:

a) [tex]\forall \ x \ ( f(x) \lor g(x) \ \rightarrow e(x))[/tex]

b) [tex]\forall \ x \ ( m(x) \land c(x, 3.5)) \lor ( \neg m(x) \land c(x,3.5)) \ \rightarrow q(x))[/tex]

c) [tex]M \rightarrow ((H(60) \lor (H(45) \land W)) \land \forall \ y \ G(B,y)[/tex]

d) [tex]\exists x (C(x) \land A(x))[/tex]

Step-by-step explanation:

A Predicate is a sentence that contains a finite number of variables and becomes  a statement when specific values are substituted for the variables.

The domain of  a predicate variable is the set of all values that may be substituted in place of the  variable.

Quantifiers are words that refer to quantities such as ”some” or ”all” and tell for  how many elements a given predicate is true.

a)

[tex]f(x) : x[/tex] is flying more than 25000 miles in a year

[tex]g(x) : x[/tex] takes more than 25 flights during that year

[tex]e (x) : x[/tex] qualifies as an elite flyer

b)

[tex]m(x):x[/tex] is a man

[tex]c(x, y) : x[/tex] has the change if previous time is less than y

[tex]q (x)[/tex] : qualifies for the marathon

c)

[tex]M:[/tex] received Master's degree

[tex]H(x):[/tex] took [tex]x[/tex] hours for the course

[tex]W:[/tex] wrote thesis

[tex]G (x, y) :[/tex] graded [tex]x[/tex] or higher in course [tex]y[/tex]

d)

[tex]c(x) : x[/tex] taken more than 21 credit hours in a semester

[tex]A(x) : x[/tex] has received all A

Otras preguntas