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 firstorderlogic
0
votes
1
answer
1
ME Test
Can any one give a proper method to solve such questions ? It will be really appreciable.. Pardon for the screenshot though. No idea of latex.
asked
Jan 8
in
Mathematical Logic
by
Shamim Ahmed
Active
(
2.1k
points)

64
views
madeeasytestseries
firstorderlogic
+1
vote
1
answer
2
Propositional logic self doubt
q = you can access the library r = you have a valid ID s = you have paid subscription fee of that day Consider the following English sentence “You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day” which of the following is the correct logical expression? $q \rightarrow (r \vee s )$ $(q \rightarrow r) \vee s$
asked
Jan 7
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
33k
points)

35
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
0
answers
3
NTA NET DEC 2018 Q18
asked
Dec 25, 2018
in
Mathematical Logic
by
Sanjay Sharma
Veteran
(
50.2k
points)

42
views
firstorderlogic
0
votes
0
answers
4
Self Doubt
∀x(∀z(β)→∃y(¬α)) ⟹∀x(¬∀z(β)∨∃y(¬α)) ⟹¬∃x¬(¬∀z(β)∨∃y(¬α)) ⟹¬∃x(∀z(β)∧¬∃y(¬α)) ⟹¬∃x(∀z(β)∧∀y(α)) In the third line why 2 negations are used ?
asked
Dec 23, 2018
in
Mathematical Logic
by
Shamim Ahmed
Active
(
2.1k
points)

14
views
firstorderlogic
+1
vote
0
answers
5
Self doubt Propositional Logic
Que. Consider domain is the set of all people in the world. $F(x,y) =x \text{ is the friend of y}.$ Represent each of the following sentences using firstorder logic statements $1.$ Every person has $at most \ 2$ friends. $2.$ Every person has $exactly \ 2$ ... $3. \forall x \exists y_1\exists y_2(F(x,y_1) \wedge F(x,y_2) \wedge (y_1 \neq y_2))$ Please verify.
asked
Dec 6, 2018
in
Mathematical Logic
by
Soumya29
Boss
(
14.8k
points)

72
views
discretemathematics
firstorderlogic
propositionallogic
0
votes
0
answers
6
#books
Some cat are intelligent express into first order logic if domain are animals
asked
Nov 12, 2018
in
Mathematical Logic
by
amit166
Junior
(
653
points)

30
views
#first
firstorderlogic
+2
votes
1
answer
7
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
(
12.7k
points)

213
views
gb2019dm1
firstorderlogic
discretemathematics
mathematicallogic
quantifiers
0
votes
1
answer
8
GATEBOOK2019DM12
Which of the following first order logic statements is VALID? $\neg\forall x \{ P(x) \vee ∃y [Q(y) \wedge P(y)] \} ≡ ∃x \{ \neg P(x) \wedge \forall y [(P(y) → \neg Q(y)) \vee (Q(y) → \neg P(y))] \}$ ...
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

103
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
+1
vote
1
answer
9
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
(
12.7k
points)

107
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
quantifiers
+2
votes
1
answer
10
GATEBOOK2019DM118
Everyone has exactly one best friend Which of the following first order logic statements correctly represents above English statement? $BF(x,y)$ means $x$ and $y$ are best friends $S1 : \forall x \exists y \forall z (BF(x,y) \wedge \sim BF(x,z) \rightarrow (y \neq z))$ ... $S1$ Only $S2$ Both $S1$ and $S2$ None of the two
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

117
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
0
votes
0
answers
11
No idea about what to study in FIRST ORDER LOGIC
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC? Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!
asked
Sep 28, 2018
in
Mathematical Logic
by
iarnav
Loyal
(
9.4k
points)

56
views
mathematicallogic
propositionallogic
firstorderlogic
0
votes
0
answers
12
PREDICATE LOGIC SELF DOUBT
Some people are Time Travelers and some people are not Time Travelers. P(x) = x is a Person T(x) = x is a Time Traveler Which is/are correct and why? (∀x)(P(x) $\rightarrow$(T(x)∨~T(x))) (∃x)(P(x)^T(x)) ∨ (∃x)(P(x)^~T(x)) (∃x)(P(x)^T(x)) ^ (∃x)(P(x)^~T(x)) (∀x)((P(x)$\rightarrow$T(x)) ∨ (P(x)$\rightarrow$~T(x))) P(x) (∀x)P (∀x)P(x) P
asked
Sep 27, 2018
in
Mathematical Logic
by
Balaji Jegan
Active
(
4.6k
points)

39
views
propositionallogic
firstorderlogic
0
votes
0
answers
13
Techtud quiz
Twin primes are pairs of numbers pp and p+2p+2 such that both are primesfor instance, 5 and 7, 11 and 13, 41 and 43. The Twin Prime Conjecture says that there are infinitely many twin primes. Let TwinPrime(n)TwinPrime(n) be a predicate that is true if nn and n ... (n)) ∃m.∀n.n≤m∃m.∀n.n≤m implies TwinPrime(n) ∀m.∃n.n≤m∀m.∃n.n≤m and TwinPrime(n) ∃m.∀n.∃m.∀n. TwinPrime(n) implies n≤m
asked
Sep 17, 2018
in
Mathematical Logic
by
Kuldeep Pal
Active
(
1.4k
points)

19
views
firstorderlogic
0
votes
0
answers
14
Predicate logic gatebook test on logic Q18
asked
Sep 8, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

71
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
15
Predicate logic gatebook test on logic Q13
Consider the following statement where parent(x,y) means x is a parent of y. Which of the following statement is true about above first order logic statement ? A. Ramu has at least one parent B. Ramu has at least two parents C. Ramu has at most one parent D. Ramu has at most two parents
asked
Sep 8, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

40
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
16
Predicate logic gatebook test on logic Q4
Minesweeper is a singleplayer computer game invented by Robert Donner in 1989. A unary predicate mine, where mine(x) means that the cell x contains a mine Which of the following statements is the correct interpretation of the above formula? A. There are ... are at least n mines in the game C. There are at most n mines in the game D. None of the above
asked
Sep 8, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

42
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
0
votes
2
answers
17
UGCNETJuly2018II77
Consider the following English sentence: "Agra and Gwalior are both in India". A sudent has written a logical sentence for the above English sentence in FirstOrder Logic using predicate IN(x, y), which means x is in y, as ... but expresses the meaning of the English sentence It is syntactically invalid and does not express the meaning of the English sentence
asked
Jul 13, 2018
in
Discrete Mathematics
by
Pooja Khatri
Active
(
5.1k
points)

130
views
ugcnetjuly2018ii
discretemathematics
firstorderlogic
+2
votes
2
answers
18
Propositional logic
I am unable to prove following equations without using truth table 1) p > (q v r) = (p>q) V (p>r) 2) ~(p <> q) = p <> ~q
asked
Jul 12, 2018
in
Mathematical Logic
by
kd.....
Junior
(
689
points)

75
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
19
self doubt
If Mr.M is guilty, then no witness is lying unless he is afraid. X: Mr M is guilty Y: No witness is lying Z: he is afraid translation: (X ^ ~Z) > Y. Is this correct? If yes please explain the implication in these answers https://gateoverflow.in/20939/tifr2012a2. Thank you.
asked
Jul 12, 2018
in
Mathematical Logic
by
tusharp
Active
(
4k
points)

66
views
discretemathematics
firstorderlogic
0
votes
2
answers
20
Self doubt
Which is appropriate for the statement and why?
asked
Jul 11, 2018
in
Mathematical Logic
by
tusharp
Active
(
4k
points)

46
views
discretemathematics
firstorderlogic
0
votes
1
answer
21
self doubt
dog(x) = x is a dog Int (x) = x is intelligent write in logic form No dogs are intelligent.
asked
Jun 14, 2018
in
Mathematical Logic
by
Vegeta
Junior
(
811
points)

40
views
propositionallogic
firstorderlogic
logicalreasoning
0
votes
2
answers
22
IIT M video questions
P(x,y,z), xy=z, Universe is interger; write in logic form If xy=x for all y, then x =0. Thank you
asked
Jun 14, 2018
in
Mathematical Logic
by
Vegeta
Junior
(
811
points)

71
views
propositionallogic
firstorderlogic
logicalreasoning
+2
votes
1
answer
23
Sentence to Predicate Calculus
Will the answers be : (a) $x:$Any person $C(x) :$Cricketer $A(x):$Admired by others So $\exists x C(x) \land \forall x A(x)$ (b) $x:$Any person $S(x) :$Student $A(x):$got an A grade in AI course $F(x) $ : Friend So $ \forall x (S(x) ) \implies \exists x (F(x) \land A(x)) $
asked
May 7, 2018
in
Mathematical Logic
by
Sourajit25
Junior
(
975
points)

75
views
propositionallogic
firstorderlogic
+12
votes
3
answers
24
GATE201828
Consider the firstorder logic sentence $\varphi \equiv \exists \: s \: \exists \: t \: \exists \: u \: \forall \: v \: \forall \: w \forall \: x \: \forall \: y \: \psi(s, t, u, v, w, x, y)$ ... than or equal to $3$ There exists no model of $\varphi$ with universe size of greater than $7$ Every model of $\varphi$ has a universe of size equal to $7$
asked
Feb 14, 2018
in
Mathematical Logic
by
gatecse
Boss
(
18.3k
points)

4.7k
views
gate2018
mathematicallogic
normal
firstorderlogic
+2
votes
1
answer
25
[Discrete maths] Predicate logic
Which of the following is true about below predicate logic P? A) P is satisfiable B) P is tautology C) P is contradiction D) None This expression in the end reduces to: ~ ∀z { True } Now this should mean => ∃z { False} So, how can it be contradiction as given answer is contradiction
asked
Jan 25, 2018
in
Mathematical Logic
by
rahul sharma 5
Boss
(
26.5k
points)

107
views
propositionallogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
1
answer
26
implication VS conjunction
When should we use implication and when conjunction? For example in this question: https://gateoverflow.in/989/gate200626?show=188041#c188041 What is the difference in options B and D?
asked
Dec 31, 2017
in
Mathematical Logic
by
♥_Less
Active
(
1k
points)

160
views
propositionallogic
mathematicallogic
discretemathematics
firstorderlogic
0
votes
0
answers
27
Can you prove or disprove following equation with possible example
\[\exists(x)P(x) \Leftrightarrow \exists(x) \bar P(x)\]
asked
Nov 21, 2017
in
Mathematical Logic
by
Durgesh Singh
Junior
(
897
points)

70
views
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
28
Self Doubt on order of execution of statements in Propositional Logic for implication operator
asked
Nov 17, 2017
in
Mathematical Logic
by
Tuhin Dutta
Loyal
(
8.7k
points)

128
views
discretemathematics
mathematicallogic
propositionallogic
firstorderlogic
Page:
1
2
3
4
5
next »
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
Decidability Slides
How to Revise?
AAI JE IT results out! Adv no 02/2018
Graph Theory Slides for GATECSE
Generating Function Useful Link
Follow @csegate
Gatecse
Recent questions tagged firstorderlogic
Recent Blog Comments
https://gateoverflow.in/exam/136/appliedcourse20...
1 fulllength test and revision...
Good job Saurabh!
46,769
questions
51,221
answers
176,476
comments
66,581
users