The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
GATE Overflow
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
First time here? Checkout the
FAQ
!
x
×
Close
Use the google search bar on side panel. It searches through all previous GATE/other questions. For hardcopy of previous year questions please see
here
Kenneth Rosen Ex.1.3 Q.37
0
votes
29
views
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
Feb 10
in
Mathematical Logic
by
himgta
Active
(
3.6k
points)

29
views
answer
comment
0
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))
0
why not this ∀x(E(x) implies (M(x,25000) ∪f(x,25)))
0
p$\rightarrow$q means that if p then q.read question again then you will know.
Your identity must be verified before you can post a comment. Please wait if already uploaded identity proof or upload your proof
here
Please
log in
or
register
to answer this question.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
1
answer
1
rosen ex 1.3 q37
c) A student must take at least 60 course hours, or at least 45 course hours and write master's thesis, and receive a grade no lower than a B in all required courses, to receive a master's degree. My question : In book answer is given as MD(x)>{set of conditions} And my answer is {Set of conditions}>MD(x) As we know a>b ≠ b>a Why anyone of the above is correct. ?
asked
May 22, 2017
in
Mathematical Logic
by
bhuv
Active
(
4.2k
points)

59
views
0
votes
0
answers
2
Kenneth Rosen Edition7 Ch1 Ex1 QueNo37
Construct a truth table for each of these compound propositions. $p \rightarrow (\neg q \vee r)$ $\neg p \rightarrow (q \rightarrow r)$ $(p \rightarrow q) \vee (\neg p \rightarrow r)$ ... $(\neg p \leftrightarrow \neg q) \leftrightarrow (q \leftrightarrow r)$
asked
Apr 15, 2016
in
Mathematical Logic
by
jothee
Veteran
(
115k
points)

67
views
mathematicallogic
kennethrosen
0
votes
0
answers
3
kenneth rosen ex 1.1 q:25
Write each of these propositions in the form p if and only if q in English. a) If it is hot outside you buy an ice cream cone, and if you buy an ice cream cone it is hot outside. e) The trains run late on exactly those days when I take it. In ... in the form "The trains run late if and only if I take it." does exactly means if and only if ? Reference: in t
asked
Jun 30, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

38
views
kennethrosen
mathematicallogic
discretemathematics
0
votes
0
answers
4
kenneth rosen ex 1.1 q:22
Write each of these statements in the form if p, then q in English. [Hint: Refer to the list of common ways to express conditional statements provided in this section.] a) It is necessary to wash the boss's car to get promoted. In solution to this ... how to deduce whether the statement is in the form q is necessary for p or a necessary condition for p is q Reference
asked
Jun 30, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

61
views
kennethrosen
mathematicallogic
discretemathematics
+1
vote
0
answers
5
DMS kenneth rosen 7th ed. Ex 1.4 q44
Use quantifiers and logical connectives to express the fact that a quadratic polynomial with real number coefficients has at most two real roots. answer I think is ∀a∀b∀c[∃x ∃y ((ax2+ bx+c=0 )∨ (ay2+ by+c=0)) ∧ (∀w(aw2+ bw+c=0) $\rightarrow$ (w=x ∨ w=y)]
asked
Jun 1, 2016
in
Mathematical Logic
by
khushtak
Loyal
(
7.9k
points)

326
views
kennethrosen
mathematicallogic
+2
votes
2
answers
6
Kenneth Rosen Edition7 Ch1 Ex1.3 6061
I can solve these ques. with logical reasoning(apti.) but I need to know how to solve questions 60d and/or 61e. 60 a. ∀ x [P(x) $\rightarrow$ Q(x) ] b. ∃ x [R(x) ⋀ $not$ Q(x)] c ∃ x [R(x) ⋀ $not$ ... S(x) ] c ∀ x [ $not$Q(x) $\rightarrow$ S(x) ] d ∀ x [P(x) $\rightarrow$ $not$ R(x) ]
asked
May 27, 2016
in
Mathematical Logic
by
khushtak
Loyal
(
7.9k
points)

84
views
kennethrosen
mathematicallogic
+3
votes
1
answer
7
Kenneth Rosen Edition7 Ch1 Ex1 QueNo3
What is the negation of each of these propositions? Mei has an MP3 player. There is no pollution in New Jersey. 2 + 1 = 3. The summer in Maine is hot and sunny.
asked
Apr 13, 2016
in
Mathematical Logic
by
jothee
Veteran
(
115k
points)

173
views
mathematicallogic
kennethrosen
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
Recent Posts
Need suggestions for what to do next after Gate ??
For GATECSE Admissions 2019
Challenge to GATE keys: Question 26, If you also want to challenge the same, as I did!
How to follow Standard Textbooks?
Gate contest link is now open
All categories
General Aptitude
1.5k
Engineering Mathematics
7.1k
Discrete Mathematics
4.9k
Mathematical Logic
1.9k
Set Theory & Algebra
1.3k
Combinatory
873
Graph Theory
802
Probability
1k
Linear Algebra
692
Calculus
493
Digital Logic
2.7k
Programming & DS
4.9k
Algorithms
4.2k
Theory of Computation
5.3k
Compiler Design
2.1k
Operating System
4k
Databases
4k
CO & Architecture
3.5k
Computer Networks
4k
Non GATE
1.4k
Others
1.5k
Admissions
559
Exam Queries
555
Tier 1 Placement Questions
23
Job Queries
69
Projects
18
Follow @csegate
Recent Blog Comments
Well it is quite nostalgic for me as if I have...
See in recent posts "For GATE CSE Admissions 2019"
which ppt are you referring to, can you share the...
I am not a ranker so you might not believe on my...
What is the status on appsgate website? I...
47,931
questions
52,335
answers
182,382
comments
67,817
users