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
+2
votes
2
answers
1
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.....
(
285
points)

47
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
2
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
Junior
(
805
points)

20
views
discretemathematics
firstorderlogic
0
votes
2
answers
3
Self doubt
Which is appropriate for the statement and why?
asked
Jul 11
in
Mathematical Logic
by
tusharp
Junior
(
805
points)

40
views
discretemathematics
firstorderlogic
0
votes
1
answer
4
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
(
193
points)

33
views
propositionallogic
firstorderlogic
logicalreasoning
0
votes
2
answers
5
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
(
193
points)

62
views
propositionallogic
firstorderlogic
logicalreasoning
+2
votes
1
answer
6
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
(
825
points)

64
views
propositionallogic
firstorderlogic
+6
votes
3
answers
7
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.1k
points)

2.5k
views
gate2018
mathematicallogic
normal
firstorderlogic
+2
votes
1
answer
8
[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
(
24.5k
points)

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

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

67
views
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
11
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.9k
points)

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

136
views
mathematicallogic
propositionallogic
discretemathematics
firstorderlogic
+3
votes
1
answer
13
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)

84
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
twoplacepredicate
+1
vote
1
answer
14
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
(
439
points)

164
views
discretemathematics
mathematicallogic
firstorderlogic
propositionallogic
quantifiers
0
votes
0
answers
15
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
(
439
points)

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

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

172
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
+1
vote
2
answers
18
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
(
24.5k
points)

211
views
mathematicallogic
propositionallogic
discretemathematics
firstorderlogic
+3
votes
0
answers
19
#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
(
291
points)

285
views
discretemathematics
firstorderlogic
gate2003
0
votes
1
answer
20
[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
(
24.5k
points)

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

308
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
+1
vote
1
answer
22
[Discrete Maths] predicate Logic
asked
Jun 15, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
24.5k
points)

250
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
+1
vote
2
answers
23
[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
(
24.5k
points)

119
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
1
answer
24
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)

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

139
views
mathematicallogic
discretemathematics
propositionallogic
firstorderlogic
0
votes
0
answers
26
[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
(
24.5k
points)

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

223
views
mathematicallogic
firstorderlogic
propositionallogic
+1
vote
1
answer
28
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)

229
views
mathematicallogic
firstorderlogic
propositionallogic
0
votes
1
answer
29
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)

114
views
firstorderlogic
mathematicallogic
discretemathematics
0
votes
1
answer
30
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)

137
views
mathematicallogic
firstorderlogic
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
Anxiety
Nielit 2018
Donation (Kerala Flood)
Schedule for GATE 2019
GATE 2019 official website
Follow @csegate
Gatecse
Recent questions tagged firstorderlogic
Recent Blog Comments
Thanx Mk utkarsh and nikhil bro ... i really ...
Firstly I am not topper. or ranker.
but ...
If you are not able to understand the concept of ...
done:)
Thanx man ... i really appreciate it ...
38,187
questions
45,688
answers
132,723
comments
49,654
users