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

I forgot my password
All Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous
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
0
answers
1
#books
Some cat are intelligent express into first order logic if domain are animals
asked
5 days
ago
in
Mathematical Logic
by
amit166
(
329
points)

19
views
#first
firstorderlogic
+1
vote
1
answer
2
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
in
Mathematical Logic
by
GATEBOOK
Active
(
1.8k
points)

53
views
gb2019dm1
firstorderlogic
discretemathematics
mathematicallogic
quantifiers
0
votes
0
answers
3
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))] \}$ $\neg\forall x \{ P(x) \vee ∃y [Q(y) \wedge P(y)] \} ≡ ∃x \{ \neg ... ∃y [Q(y) \wedge P(y)] \} ≡ ∃x \{ \neg P(x) \wedge \forall y [\neg(P(y) → \neg Q(y)) \vee (Q(y) → \neg P(y))] \}$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.8k
points)

24
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
0
votes
0
answers
4
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 above first 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
in
Mathematical Logic
by
GATEBOOK
Active
(
1.8k
points)

9
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
quantifiers
0
votes
0
answers
5
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 ... \forall z [(y \neq z)] \rightarrow \sim BF(x,z))$ Only $S1$ Only $S2$ Both $S1$ and $S2$ None of the two
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.8k
points)

13
views
gb2019dm1
discretemathematics
mathematicallogic
firstorderlogic
0
votes
0
answers
6
No idea about what to study in FIRST ORDER LOGIC
asked
Sep 28
in
Mathematical Logic
by
iarnav
Loyal
(
9k
points)

43
views
mathematicallogic
propositionallogic
firstorderlogic
0
votes
0
answers
7
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
in
Mathematical Logic
by
Balaji Jegan
Active
(
3.1k
points)

35
views
propositionallogic
firstorderlogic
0
votes
0
answers
8
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
in
Mathematical Logic
by
Kuldeep Pal
Active
(
1.3k
points)

14
views
firstorderlogic
0
votes
0
answers
9
Predicate logic gatebook test on logic Q18
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
975
points)

59
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
10
Predicate logic gatebook test on logic Q13
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
975
points)

25
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
11
Predicate logic gatebook test on logic Q4
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
975
points)

28
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
0
votes
2
answers
12
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
in
Discrete Mathematics
by
Pooja Khatri
Active
(
5k
points)

53
views
ugcnetjuly2018ii
discretemathematics
firstorderlogic
+2
votes
2
answers
13
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
in
Mathematical Logic
by
kd.....
(
377
points)

70
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
14
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
in
Mathematical Logic
by
tusharp
Active
(
1.9k
points)

63
views
discretemathematics
firstorderlogic
0
votes
2
answers
15
Self doubt
Which is appropriate for the statement and why?
asked
Jul 11
in
Mathematical Logic
by
tusharp
Active
(
1.9k
points)

43
views
discretemathematics
firstorderlogic
0
votes
1
answer
16
self doubt
dog(x) = x is a dog Int (x) = x is intelligent write in logic form No dogs are intelligent.
asked
Jun 14
in
Mathematical Logic
by
Vegeta
(
455
points)

38
views
propositionallogic
firstorderlogic
logicalreasoning
0
votes
2
answers
17
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
in
Mathematical Logic
by
Vegeta
(
455
points)

67
views
propositionallogic
firstorderlogic
logicalreasoning
+2
votes
1
answer
18
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
in
Mathematical Logic
by
Sourajit25
Junior
(
975
points)

71
views
propositionallogic
firstorderlogic
+9
votes
3
answers
19
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)$$ where $\psi(s, t, u, v, ... size less 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
in
Mathematical Logic
by
gatecse
Boss
(
18.3k
points)

3.3k
views
gate2018
mathematicallogic
normal
firstorderlogic
+2
votes
1
answer
20
[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
in
Mathematical Logic
by
rahul sharma 5
Boss
(
25.4k
points)

99
views
propositionallogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
1
answer
21
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)

143
views
propositionallogic
mathematicallogic
discretemathematics
firstorderlogic
0
votes
0
answers
22
Can you prove or disprove following equation with possible example
asked
Nov 21, 2017
in
Mathematical Logic
by
Durgesh Singh
Junior
(
887
points)

68
views
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
23
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.3k
points)

116
views
discretemathematics
mathematicallogic
propositionallogic
firstorderlogic
+1
vote
3
answers
24
Discrete maths: Predicate logic
asked
Nov 16, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
25.4k
points)

141
views
mathematicallogic
propositionallogic
discretemathematics
firstorderlogic
+3
votes
1
answer
25
predicate logic
Recall that a predicate logic statement is contingent if its truth value depends on the choice of the universe and on the interpretations of the predicate symbol S and the constant symbol b involved. Consider the following predicate logic statements in which b, x ...  Contingent  Always false (C) Always true  Contingent  Contingent (D) Contingent  Always true  Always false
asked
Nov 11, 2017
in
Mathematical Logic
by
Parshu gate
Active
(
5k
points)

94
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
twoplacepredicate
+1
vote
1
answer
26
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
(
449
points)

183
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
0
votes
0
answers
27
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
(
449
points)

104
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
0
votes
1
answer
28
Propositional and First Order Logic GATECS2006
asked
Sep 17, 2017
in
Mathematical Logic
by
preps
(
7
points)

389
views
discretemathematics
firstorderlogic
mathematicallogic
propositionallogic
+4
votes
1
answer
29
Propositional Logic
Can someone please check if my solution is correct?
asked
Sep 13, 2017
in
Mathematical Logic
by
Manu Thakur
Boss
(
41k
points)

186
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
+1
vote
2
answers
30
Discrete maths Predicate logic
( ∃x(P(x))→∃x(Q(x)) ) → ( ∃x(P(x)→Q(x)) ) ( ∃x(P(x)→Q(x)) ) → ( ∃x(P(x))→∃x(Q(x)) ) Which of the above is valid and for not valid please give me counter example where LHS is true but RHS is false?
asked
Jul 28, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
25.4k
points)

224
views
mathematicallogic
propositionallogic
discretemathematics
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
Basic LaTeX guide
IIT Madras Phd
Databases GO Classroom
Happy Birthday Sir Arjun
NIELIT EXAM DATE 2018
Follow @csegate
Gatecse
Recent questions tagged firstorderlogic
Recent Blog Comments
Sir for final year student who have exam in...
I guess you meant while chasing :) Anyway those...
I'll write a post on how to best...
@Gaurav Go through all the previous yr questions,...
42,568
questions
48,555
answers
155,392
comments
63,560
users