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
[Discrete maths] Predicate logic
asked
Jan 25
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

43
views
predicatelogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
1
answer
2
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)

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

55
views
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
0
answers
4
Self Doubt on order of execution of statements in Propositional Logic for implication operator
asked
Nov 17, 2017
in
Mathematical Logic
by
Tuhin Dutta
Boss
(
7.6k
points)

68
views
discretemathematics
mathematicallogic
predicatelogic
propositionallogic
firstorderlogic
+1
vote
2
answers
5
Discrete maths: Predicate logic
asked
Nov 16, 2017
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

91
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
+1
vote
0
answers
6
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 ...  Always false (C) Always true  Contingent  Contingent (D) Contingent  Always true  Always false
asked
Nov 11, 2017
in
Mathematical Logic
by
Parshu gate
Boss
(
6.4k
points)

40
views
mathematicallogic
predicatelogic
firstorderlogic
discretemathematics
twoplacepredicate
+1
vote
1
answer
7
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
Junior
(
503
points)

125
views
discretemathematics
mathematicallogic
firstorderlogic
predicatelogic
quantifiers
0
votes
0
answers
8
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
Junior
(
503
points)

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

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

118
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
+1
vote
2
answers
11
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
Veteran
(
23.5k
points)

190
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
+3
votes
0
answers
12
#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
(
359
points)

227
views
discretemathematics
firstorderlogic
gate2003
0
votes
1
answer
13
[Discrete Maths] predicate Logic
asked
Jun 18, 2017
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

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

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

197
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+1
vote
2
answers
16
[Discrete Maths] predicate logic
asked
Jun 14, 2017
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

105
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
0
votes
1
answer
17
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.3k
points)

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

116
views
mathematicallogic
discretemathematics
predicatelogic
firstorderlogic
0
votes
0
answers
19
[Discrete Maths] Predicate logic
asked
Jun 9, 2017
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

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

160
views
mathematicallogic
firstorderlogic
predicatelogic
+1
vote
1
answer
21
Gatebook  predicate Logic  negating
asked
Jun 6, 2017
in
Mathematical Logic
by
Siva Tarun
(
207
points)

180
views
mathematicallogic
firstorderlogic
predicatelogic
0
votes
1
answer
22
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.3k
points)

98
views
firstorderlogic
mathematicallogic
discretemathematics
0
votes
1
answer
23
Predicate Logic For All Quantifier
asked
Jun 2, 2017
in
Mathematical Logic
by
Siva Tarun
(
207
points)

101
views
mathematicallogic
firstorderlogic
0
votes
2
answers
24
[Discrete Maths] Predicate Logic):
asked
Jun 2, 2017
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

85
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+1
vote
1
answer
25
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
Loyal
(
4.5k
points)

110
views
firstorderlogic
discretemathematics
mathematicallogic
0
votes
3
answers
26
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
Boss
(
7.7k
points)

314
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
2
answers
27
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
Boss
(
7.7k
points)

207
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
+1
vote
2
answers
28
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
Boss
(
7.7k
points)

152
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
2
answers
29
propositional logic
Convert into logical expression "Not everybody in the school is perfect" A) NOT( ∀x(S(x)>P(x) ) B) ∃x( S(x) ^ NOT (P(x)) ) C) Either A) or B) D) None of the above
asked
Mar 7, 2017
in
Mathematical Logic
by
Vicky rix
Boss
(
7.7k
points)

80
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
NIELIT(17 Dec 2017) Result Out
Contest/challenge GATE201825
IISC admission
Admission in IITS through COAPS
IITKanpur
Follow @csegate
Gatecse
Recent questions tagged firstorderlogic
Recent Blog Comments
Yes..this is the list of candidates who secured ...
But this is not Final list.
Yes, Generally Data Science should be preferred. ...
Those who answered 35 must challenge  and even 1 ...
Problem is seeing the standard of paper this ...
33,620
questions
40,169
answers
114,126
comments
38,551
users