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.
Recent questions tagged firstorderlogic
+2
votes
1
answer
1
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
(
779
points)

44
views
propositionallogic
firstorderlogic
predicatelogic
+2
votes
1
answer
2
[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
(
23.9k
points)

73
views
predicatelogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
1
answer
3
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
Junior
(
977
points)

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

64
views
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
5
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
(
7.8k
points)

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

120
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
+2
votes
0
answers
7
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
(
4.9k
points)

53
views
mathematicallogic
predicatelogic
firstorderlogic
discretemathematics
twoplacepredicate
+1
vote
1
answer
8
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
(
425
points)

143
views
discretemathematics
mathematicallogic
firstorderlogic
predicatelogic
quantifiers
0
votes
0
answers
9
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
(
425
points)

75
views
discretemathematics
mathematicallogic
firstorderlogic
predicatelogic
quantifiers
0
votes
0
answers
10
Propositional and First Order Logic GATECS2006
asked
Sep 17, 2017
in
Mathematical Logic
by
preps
(
7
points)

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

147
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
+1
vote
2
answers
12
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
(
23.9k
points)

203
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
+3
votes
0
answers
13
#Gate2003
Consider the following logic program P A(x) < B(x, y), C(y) < B(x,x) Which of the following first order sentences is equivalent to P? Can anyone explain how it can be solved ?
asked
Jun 29, 2017
in
Mathematical Logic
by
Syedarshadali
(
277
points)

256
views
discretemathematics
firstorderlogic
gate2003
0
votes
1
answer
14
[Discrete Maths] predicate Logic
Represent using logic connectives : 1. "Whenever there is an active alert, all queued messages are transmitted." Given answer is :∃x(Alert(x)∧Active(x))→∀y((Message(y)∧Queued(y))→Transmitted(y)) 2. Purple mushrooms are poisonous ∀x( purple(x)∧mushroom(x)→ ... What is wrong in this? so ∀(Alert(x) ^ Active(x) > XYZ). Why are we using ∃ in the start.?
asked
Jun 18, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

157
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+1
vote
1
answer
15
[Discrete Maths] First Order Logic
asked
Jun 15, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

270
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+1
vote
1
answer
16
[Discrete Maths] predicate Logic
asked
Jun 15, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

226
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+1
vote
2
answers
17
[Discrete Maths] predicate logic
Whether following statement is correct? Every satisfiable is not tautology. I am reading it as: 1st way : If it is satisfiable then it is not tautology. So it should be false 2nd way: It is same as saying that every ... not tautology because there are some satisfiable which are not tautologies as they are contingencies. Please clarify which is correct and why?
asked
Jun 14, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

111
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
0
votes
1
answer
18
first order logic notations
can someone please tell when to interpret this symbol $\Leftrightarrow$ as logical equivalence and when as double implication?
asked
Jun 13, 2017
in
Mathematical Logic
by
vineet.ildm
Active
(
1.1k
points)

185
views
firstorderlogic
discretemathematics
mathematicallogic
0
votes
1
answer
19
[Discrete Maths] Predicate Logic,Rosen Ex1.5,problem,9.e
asked
Jun 9, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

127
views
mathematicallogic
discretemathematics
predicatelogic
firstorderlogic
0
votes
0
answers
20
[Discrete Maths] Predicate logic
Are the following statements same? 1. Everybody loves exactly one person. 2.There is exactly one person whom everybody loves
asked
Jun 9, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

75
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
0
votes
1
answer
21
gatebook predicate logic practice problems
asked
Jun 7, 2017
in
Mathematical Logic
by
Siva Tarun
(
161
points)

190
views
mathematicallogic
firstorderlogic
predicatelogic
+1
vote
1
answer
22
Gatebook  predicate Logic  negating
PFB practice question from GATEBOOK on predicate logic. a) Everyone loves every one Solution: somebody hates somebody b) Nobody loves everybody Solution: someone loves every body c) Somebody loves somebody Solution: nobody loves somebody ... above statements: a)No one Loves Everyone b)Everybody Loves Everybody c)everybody loves everybody d)Nobody Loves Someone
asked
Jun 6, 2017
in
Mathematical Logic
by
Siva Tarun
(
161
points)

217
views
mathematicallogic
firstorderlogic
predicatelogic
0
votes
1
answer
23
first order logic
Is it always the case that implication comes with universal quantifier and conjunction comes with existential quantifier?
asked
Jun 5, 2017
in
Mathematical Logic
by
vineet.ildm
Active
(
1.1k
points)

105
views
firstorderlogic
mathematicallogic
discretemathematics
0
votes
1
answer
24
Predicate Logic For All Quantifier
"Every Lion Drinks Coffee'. UoD : Animals The equivalent First Order Logic statement for the above statment is $\forall x(Cat(x) )\rightarrow Coffee(x))$ Lets consider in UoD (animals), let there may be a CAT, TIGER ..etc and consider below ... animal is not a lion, then it shouldn't drink coffee??. if its true then the first order logic statement is valid.
asked
Jun 2, 2017
in
Mathematical Logic
by
Siva Tarun
(
161
points)

119
views
mathematicallogic
firstorderlogic
0
votes
2
answers
25
[Discrete Maths] Predicate Logic):
A(x) : Apple on the table. Give predicate logic that there is at most one apple on the table. 1. ∃x∃y(A(x) ^ A(y) ) >x=y 2.∀x∀y(A(x) ^ A(y) ) >x=y I know first one is correct,but why second one is not ... in the universe are apples on the table ,then they must be same.It also follows same thing. So are both versions correct?Or i am mistaking somehwere?
asked
Jun 2, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
23.9k
points)

91
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+1
vote
1
answer
26
First Order Logic
Can some explain the basics of First Order Logic like what various terms means, what are various properties ?
asked
Apr 7, 2017
in
Study Resources
by
Arunav Khare
Active
(
4.8k
points)

114
views
firstorderlogic
discretemathematics
mathematicallogic
+1
vote
3
answers
27
propositional logic
Which of the following statements are ALWAYS TRUE ? A) ∀x [P(x)] > ∃x [P(x)] B) ∃x [P(x)] > ∀x [P(x)] C) Both A) and B) and so both are equivalent D) Neither A) nor B)
asked
Mar 7, 2017
in
Mathematical Logic
by
Vicky rix
Loyal
(
6.8k
points)

316
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
2
answers
28
propositional logic
Which of the following propositional statements is TRUE ? A) ∀x ∀z ∃y [ P(x,y) ]> ∃y ∀x ∀z [ P(x,y) ] B) ∃y ∀x ∀z [ P(x,y) ]> ∀x ∀z ∃y [ P(x,y) ] C) Both A) and B) and so both are equivalent D) None of the above.
asked
Mar 7, 2017
in
Mathematical Logic
by
Vicky rix
Loyal
(
6.8k
points)

221
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
+1
vote
2
answers
29
propositional logic
Translate each of these statements into logical expressions a) Someone in your school has visited Uzbekistan. b) Everyone in your class has studied calculus and C++. c) No one in your school owns both a bicycle and a motorcycle. d) There is a person in your school who is not happy. e) Everyone in your school was born in the twentieth century.
asked
Mar 7, 2017
in
Mathematical Logic
by
Vicky rix
Loyal
(
6.8k
points)

164
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
Page:
1
2
3
4
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
IIT Madras MS written test and interview
Interview experience at IIITSricity
IIT Delhi Interview Experience  M.tech. Computer Technology  22 May 2018
Regarding acceptance fee of CCMT round1
ISRO Revised Answer Key Available Now.
Follow @csegate
Gatecse
Recent questions tagged firstorderlogic
Recent Blog Comments
did you get the offer?...do you know if that is ...
How did you apply there?
Thanks mam , you are really inspiration for me, ...
The answer to the first question is $2048 ...
Thanks @VS for your motivation actually!This Year ...
35,506
questions
42,827
answers
121,678
comments
42,181
users