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
Subject Topic Mathematical Logic
0
votes
31
views
quantifiers
discretemathematics
mathematicallogic
asked
Mar 25
in
Mathematical Logic
by
Manoj Kumar Pandey
(
177
points)
edited
Mar 30
by
Abdul Wazeed

31
views
answer
comment
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
Subject Topic Mathematical Logic
Can someone please explain the highlighted text?
asked
Feb 11, 2018
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
34.8k
points)

100
views
mathematicallogic
discretemathematics
+1
vote
1
answer
2
First Order Logic
A = ∃x (P(x) ^ Q(x)). B = ∃x P(x) ^ ∃x Q(x). Which is correct? a) A => B b) B => A c) A <=> B d) None of These Please Explain.
asked
Oct 18, 2017
in
Mathematical Logic
by
nishant279
(
463
points)

216
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
0
votes
0
answers
3
First Order Logic
A = ∃x(P(x)^Q(x)) B = ∃x P(x) ^ ∃x Q(x), which is correct? a) A <=> B b) A => B c) B => A d) None of These Please Explain.
asked
Oct 18, 2017
in
Mathematical Logic
by
nishant279
(
463
points)

134
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
+3
votes
1
answer
4
Discrete Maths: First Order Logic  Question in my mind based on question from Kenneth Rosen
asked
Jul 12, 2017
in
Mathematical Logic
by
meghashyamc
(
377
points)

227
views
quantifiers
discretemathematics
mathematicallogic
propositionallogic
kennethrosen
0
votes
0
answers
5
Kenneth Rosen Edition 6th Exercise 1.4 Question 9f (Page No. 59)
Q) There is somebody whom no one loves L(x,y) : x loves y. Doubt: Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different please give explaination
asked
Jan 10
in
Mathematical Logic
by
kd.....
Junior
(
883
points)

68
views
mathematicallogic
kennethrosen
discretemathematics
propositionallogic
quantifiers
+2
votes
1
answer
6
GATEBOOK2019DM11
Which of the following first order logic statement is equivalent to below statement? If anyone cheats, everyone suffers. $S_1 \forall x (\text{cheat}(x) \to \forall y \text{ suffer}(y))$ $S_2: \forall x\forall y (\text{cheat}(x) \to \text{ suffer}(y))$ Only $S1$ Only $S2$ Both $S1$ and $S2$ None
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
17.2k
points)

251
views
gb2019dm1
firstorderlogic
discretemathematics
mathematicallogic
quantifiers
0
votes
1
answer
7
GATEBOOK2019DM13
Which of the following formulae is a formalization of the sentence: "There is a $\text{Computer}$ which is not used by any $\text{Student}$" $ \exists x (\text{Computer}(x) \wedge \forall y. (\sim \text{Student}(y) \wedge \sim \text{Uses}(y,x))) $ ... $ \exists x (\text{Computer} (x) \rightarrow \forall y . (\sim \text{Student} (y) \wedge \sim \text{Uses}(y,x)))$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
17.2k
points)

92
views
gb2019dm1
discretemathematics
mathematicallogic
quantifiers
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
GATE score validity queries.
How to prepare for IISC Interdisciplinary Mathematical Sciences Interview
GO Hardcopy for GATE 2020
How to prepare for BARC interview
IIIT H
All categories
General Aptitude
1.6k
Engineering Mathematics
7.5k
Discrete Mathematics
5.2k
Mathematical Logic
2.1k
Set Theory & Algebra
1.4k
Combinatory
883
Graph Theory
821
Probability
1k
Linear Algebra
694
Calculus
504
Digital Logic
3k
Programming & DS
4.9k
Algorithms
4.3k
Theory of Computation
6k
Compiler Design
2.1k
Operating System
4.2k
Databases
4.2k
CO & Architecture
3.5k
Computer Networks
4.2k
Non GATE
1.4k
Others
1.5k
Admissions
588
Exam Queries
568
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
THey removed it this year... I did not check it,...
even though i am not going for iiit , can you...
I don't think IIITD requires any codechef...
Will apply for IIITB. IIIT D requires a codechef...
Go for it. Nobody cares once you join a good IIT...
50,083
questions
53,206
answers
184,553
comments
70,426
users