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
Recent questions tagged quantifiers
+2
votes
1
answer
1
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
(
14.1k
points)

220
views
gb2019dm1
firstorderlogic
discretemathematics
mathematicallogic
quantifiers
0
votes
1
answer
2
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
(
14.1k
points)

76
views
gb2019dm1
discretemathematics
mathematicallogic
quantifiers
0
votes
1
answer
3
GATEBOOK2019DM14
Minesweeper is a singleplayer computer game invented by Robert Donner in 1989. A unary predicate mine is defined, where $\text{mine}(x)$ means that the cell $x$ ... $n$ mines in the game There are at most $n$ mines in the game None of the above
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

193
views
gb2019dm1
discretemathematics
mathematicallogic
quantifiers
0
votes
0
answers
4
GATEBOOK2019DM15
Which of the below first order logic formulae represent the sentence There is a student who is loved by every other student Here, $\text{Loves}(x,y)$ means $x$ loves $y$ ...
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

93
views
gb2019dm1
discretemathematics
mathematicallogic
quantifiers
0
votes
0
answers
5
GATEBOOK2019DM111
Suppose that $P(x,y)$ means "x is a parent of y" and $M(x)$ means "x is a male". If $F(v,w)$ equals $M(v) \wedge \exists x \exists y (P(x,y) \wedge P(x,v) \wedge (y \neq v ) \wedge P(y,w)), $ the meaning of the expression $F(v,w)$ is $v$ is a brother of $w$ $v$ is an uncle of $w$ $v$ is a grandfather of $w$ $v$ is a nephew of $w$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

55
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
0
votes
1
answer
6
GATEBOOK2019DM112
Translate the following logic statement to English where, $A(x)$: $x$ is African, $F(x,y)$: x and y are friends. The universe for $x$ and $y$ is all the people in the world. $\forall x \exists y((A(x) \vee (F(x,y)))$ Every African has some African friend Every person who is not African has at least one friend Every person who has friend is not African None of these
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

133
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
+1
vote
1
answer
7
GATEBOOK2019DM113
Consider the following statement $ \exists x \: \exists y (\text{PARENT}(x, \text{Ramu}) \wedge \text{PARENT}(y, \text{Ramu}))$ where $\text{PARENT}(x,y)$ means $x$ is a parent of $y.$ Which of the following statement is true about ... order logic statement ? Ramu has at least one parent Ramu has at least two parents Ramu has at most one parent Ramu has at most two parents
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

117
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
quantifiers
+1
vote
0
answers
8
GATEBOOK2019DM116
Which of the following statements is not necessarily true ? $\forall x \: \forall y P(x,y) \Leftrightarrow \forall y \: \forall x P(x,y)$ $ \exists x \: \exists y P(x,y) \Leftrightarrow \exists y \: \exists x P(x,y)$ $\forall x \: \exists y P(x,y) \Rightarrow \exists y \: \forall x P(x,y) $ $ \exists y \:\forall x P(x,y) \Rightarrow \forall x \: \exists y P(x,y)$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

66
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
+2
votes
1
answer
9
GATEBOOK2019DM119
Which of the following statements is FALSE $\exists x (P(x) \rightarrow Q(x)) \equiv \forall x P(x) \rightarrow \exists x Q(x) $ $\exists x (P(x) \vee Q(x)) \equiv \exists x P(x) \vee \exists x Q(x) $ $\forall x (P(x)\wedge Q(x)) \equiv \forall x P(x) \wedge \forall x Q(x) $ $\exists x (P(x)\wedge Q(x)) \equiv \exists x P(x) \wedge \exists x Q(x) $
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
14.1k
points)

81
views
gb2019dm1
discretemathematics
mathematicallogic
quantifiers
0
votes
3
answers
10
UGCNETJuly2018II85
The equivalence of $\neg \: \exists \: x \: Q \: (x)$ is $\exists \: x \: \neg \: Q \: (x)$ $\forall \: x \: \neg \: Q \: (x)$ $\neg \: \exists \: x \: \neg \: Q \: (x)$ $\forall \: x \: Q \: (x)$
asked
Jul 13, 2018
in
Others
by
Pooja Khatri
Active
(
5.1k
points)

127
views
ugcnetjuly2018ii
discretemathematics
quantifiers
+1
vote
0
answers
11
Universal Quantifier (Basics)
Which one of the expression of universal quantifier is ambiguous? For all For every all of for each for any for arbitrary
asked
Feb 9, 2018
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
33.3k
points)

124
views
mathematicallogic
quantifiers
+1
vote
1
answer
12
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
(
453
points)

201
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
0
votes
0
answers
13
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
(
453
points)

119
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
0
votes
0
answers
14
Rosen_Discrete_Mathematics_and_Its_Applications_7th_Edition/Pg.56/Section 1.4 :predicates and quantifiers/Q.43 and Q.44
asked
Aug 13, 2017
in
Mathematical Logic
by
kmr_ndrsh
(
69
points)

113
views
discretemathematics
propositionallogic
quantifiers
+3
votes
1
answer
15
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)

213
views
quantifiers
discretemathematics
mathematicallogic
propositionallogic
kennethrosen
+1
vote
1
answer
16
Quantifiers
asked
Jan 2, 2017
in
Mathematical Logic
by
Anup patel
Active
(
3.9k
points)

147
views
quantifiers
+3
votes
2
answers
17
Logic
Everyone has exactly one best friend Are all three below same? Let B(x, y) to be the statement “y is the best friend of x" $ ∀x∃y(B(x, y) ∧ ∀z((z = y)→¬B(x, z))) $ $ ∀x ∃!y (B(x, y) $ $ ∀x ∃y (B(x, y) ∧ ∀z (B(x, z) → (y = z))) $
asked
Oct 18, 2016
in
Mathematical Logic
by
Shivam Chauhan
Loyal
(
9.1k
points)

273
views
quantifiers
+4
votes
0
answers
18
Multiplicative inverse
Every real number except zero has a multiplicative inverse Are both the statements same? $ ∀x((x != 0) → ∃y(xy = 1)) $ $ ∀x ∃y ((x != 0) → (xy = 1)) $
asked
Oct 18, 2016
in
Mathematical Logic
by
Shivam Chauhan
Loyal
(
9.1k
points)

202
views
quantifiers
To see more, click for the
full list of questions
or
popular tags
.
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
PSU's
Decidability Slides
AAI JE IT results out! Adv no 02/2018
Graph Theory Slides for GATECSE
Generating Function Useful Link
Follow @csegate
Gatecse
Recent questions tagged quantifiers
Recent Blog Comments
@shaik masthan You got 330 in 2017, u could have...
what you said is correct sir, yes doing masters...
You should go to IISc, increase your potential...
sir, didn't get you
47,198
questions
51,428
answers
178,321
comments
66,728
users