edited by
676 views
0 votes
0 votes
Express these statement using predicates and quantifiers.

A student must take at least 60 course hours ,or atleast 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.
edited by

1 Answer

0 votes
0 votes
$N(x,n)$ = True if number of course hours by student x is greater than n

$M(x)$ = True if master's thesis is written by student $x$

$G(x,y,c)$ = Grade scored by student $x$ in course $y$ is atleast $c$

For a student $x$ to receive degree = $N(x,60)\,\vee\, (N(x,45)\, \wedge\,M(x)\,\wedge\,\forall y(G(x,y,B)))$
edited by

Related questions

724
views
1 answers
0 votes
Sandy Sharma asked Jul 6, 2018
724 views
Express each of these system specifications using predicates,quantifiers, and logical connectivesb) Whenever there is an active alert, all queued messagesare transmitted. ... don't use implication with ∃x "Which leaves me in confusion.?
1.4k
views
1 answers
0 votes
Sandy Sharma asked Jul 6, 2018
1,384 views
Express each of these system specifications using predicates,quantifiers, and logical connectives.c) The file system cannot be backed up if there is a usercurrently ... If the manual is correct then why two variables x,y are required?
3.4k
views
1 answers
4 votes
Manu Thakur asked Sep 13, 2017
3,410 views
Establish these logical equivalences, where x does not occur as a free variable in A. Assume that the domain is nonempty.a) ∀x(A → P(x)) ≡ A → ∀xP(x)b) ∃x(A → P(x)) ≡ A → ∃xP(x)
4.3k
views
1 answers
2 votes
Bhunesh Singh asked Aug 4, 2017
4,341 views
Translate in two ways each of these statements into logicalexpressions using predicates, quantifiers, and logicalconnectives. First, let the domain consist of the studentsin your ... .e) Some student in your class does not want to be rich