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
Exam Category
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.
Search results for firstorderlogic
+12
votes
5
answers
1
GATE2017102
Consider the firstorder logic sentence $F:\forall x(\exists yR(x,y))$. Assuming nonempty logical domains, which of the sentences below are implied by $F$? $\exists y(\exists xR(x,y))$ $\exists y(\forall xR(x,y))$ $\forall y(\exists xR(x,y))$ $¬\exists x(\forall y¬R(x,y))$ (A) $IV$ only (B) $I$ and $IV$ only (C) $II$ only (D) $II$ and $III$ only
asked
Feb 14
in
Mathematical Logic
by
khushtak
Boss
(
7.9k
points)

1.8k
views
gate20171
mathematicallogic
firstorderlogic
+24
votes
2
answers
2
GATE20152_55
Which one of the following wellformed formulae is a tautology? $\forall x \, \exists y \, R(x,y) \, \leftrightarrow \, \exists y \, \forall x \, R(x, y)$ $( \forall x \, [\exists y \, R(x,y) \, \rightarrow \, S(x, y)]) \, \rightarrow \, \forall x \, \exists y \, S(x, ... \, \lor R(x, y) \right)]$ $\forall x \, \forall y \, P(x,y) \, \rightarrow \, \forall x \, \forall y \, P(y, x)$
asked
Feb 13, 2015
in
Mathematical Logic
by
jothee
Veteran
(
99.2k
points)

2.6k
views
gate20152
mathematicallogic
normal
firstorderlogic
+16
votes
3
answers
3
GATE2016227
Which one of the following wellformed formulae in predicate calculus is NOT valid ? $(\forall x p(x) \implies \forall x q(x)) \implies (\exists x \neg p(x) \vee \forall x q(x))$ $(\exists x p(x) \vee \exists x q (x)) \implies \exists x (p(x) \vee q (x))$ $\exists x (p ... \exists x p(x) \wedge \exists x q(x))$ $\forall x (p(x) \vee q(x)) \implies (\forall x p(x) \vee \forall x q(x))$
asked
Feb 12, 2016
in
Mathematical Logic
by
Akash Kanase
Veteran
(
46.8k
points)

2.6k
views
gate20162
mathematicallogic
firstorderlogic
normal
+1
vote
2
answers
4
Discrete maths: Predicate logic
asked
Nov 16
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
17.7k
points)

55
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
0
votes
0
answers
5
Can you prove or disprove following equation with possible example
asked
4 days
ago
in
Mathematical Logic
by
Durgesh Singh
Junior
(
679
points)

30
views
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
0
answers
6
Self Doubt on order of execution of statements in Propositional Logic for implication operator
asked
Nov 17
in
Mathematical Logic
by
Tuhin Dutta
Loyal
(
3.1k
points)

24
views
discretemathematics
mathematicallogic
predicatelogic
propositionallogic
firstorderlogic
+1
vote
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
in
Mathematical Logic
by
Parshu gate
Loyal
(
3.7k
points)

12
views
mathematicallogic
predicatelogic
firstorderlogic
discretemathematics
twoplacepredicate
0
votes
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
in
Mathematical Logic
by
nishant279
(
467
points)

77
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
in
Mathematical Logic
by
nishant279
(
467
points)

35
views
discretemathematics
mathematicallogic
firstorderlogic
predicatelogic
quantifiers
+24
votes
5
answers
10
GATE200423, ISRO200732
Identify the correct translation into logical notation of the following assertion. Some boys in the class are taller than all the girls Note: $\text{taller} (x, y)$ is true if $x$ is taller than $y$. $(\exists x) (\text{boy}(x) \rightarrow (\forall y) (\text{girl}(y) \ ... )))$ $(\exists x) (\text{boy}(x) \land (\forall y) (\text{girl}(y) \rightarrow \text{taller}(x, y)))$
asked
Sep 19, 2014
in
Mathematical Logic
by
Kathleen
Veteran
(
67.7k
points)

1.7k
views
gate2004
mathematicallogic
easy
isro2007
firstorderlogic
+4
votes
1
answer
11
Propositional Logic
Can someone please check if my solution is correct?
asked
Sep 13
in
Mathematical Logic
by
Manu Thakur
Veteran
(
28.7k
points)

84
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
0
answers
12
Propositional and First Order Logic GATECS2006
In the question whether this statement is a tautology ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C)) , If I take first part ((A ∨ B) → C)) as P and second part ((A → C) ∨ (B → C)) as Q , do I need to prove P>Q is true? or both P>Q and Q>P as true? I am confused about the ≡ symbol.
asked
Sep 17
in
Mathematical Logic
by
preps
(
11
points)

135
views
discretemathematics
firstorderlogic
mathematicallogic
predicatelogic
+14
votes
6
answers
13
GATE2005IT36
Let $P(x)$ and $Q(x)$ be arbitrary predicates. Which of the following statements is always TRUE? $\left(\left(\forall x \left(P\left(x\right) \vee Q\left(x\right)\right)\right)\right) \implies \left(\left(\forall x P\left(x\right)\right) \vee \left(\ ... left(x\right)\right)\right) \right) \implies \left(\forall x \left (P\left(x\right) \Leftrightarrow Q\left(x\right)\right)\right)$
asked
Nov 3, 2014
in
Mathematical Logic
by
Ishrat Jahan
Veteran
(
21.5k
points)

1.7k
views
gate2005it
mathematicallogic
firstorderlogic
normal
+3
votes
3
answers
14
GATE198914a
Symbolize the expression "Every mother loves her children" in predicate logic.
asked
Dec 16, 2016
in
Mathematical Logic
by
makhdoom ghaya
Veteran
(
42.9k
points)

275
views
gate1989
descriptive
firstorderlogic
mathematicallogic
+1
vote
2
answers
15
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
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
17.7k
points)

122
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
+18
votes
2
answers
16
GATE200830
Let $\text{fsa}$ and $\text{pda}$ be two predicates such that $\text{fsa}(x)$ means $x$ is a finite state automaton and $\text{pda}(y)$ means that $y$ is a pushdown automaton. Let $\text{equivalent}$ be another predicate such that $\text{equivalent}(a,b)$ means ... \exists y \left(\text{fsa}\left(y\right) \wedge \text{pda}\left(x\right) \wedge \text{equivalent}\left(x,y\right)\right)$
asked
Sep 12, 2014
in
Mathematical Logic
by
Kathleen
Veteran
(
67.7k
points)

1.4k
views
gate2008
easy
mathematicallogic
firstorderlogic
+3
votes
0
answers
17
#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
in
Mathematical Logic
by
Syedarshadali
(
185
points)

170
views
discretemathematics
firstorderlogic
gate2003
+1
vote
1
answer
18
[Discrete Maths] First Order Logic
asked
Jun 15
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
17.7k
points)

173
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
+13
votes
5
answers
19
TIFR2012A2
If $Mr.M$ is guilty, then no witness is lying unless he is afraid. There is a witness who is afraid. Which of the following statements is true? (Hint: Formulate the problem using the following predicates $G  Mr.M$ is guilty $W(x)  x$ is a witness $L(x) ... is not guilty. From these facts one cannot conclude that $Mr.M$ is guilty. There is a witness who is lying. No witness is lying.
asked
Oct 25, 2015
in
Mathematical Logic
by
makhdoom ghaya
Veteran
(
42.9k
points)

486
views
tifr2012
mathematicallogic
firstorderlogic
+1
vote
1
answer
20
[Discrete Maths] predicate Logic
asked
Jun 15
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
17.7k
points)

153
views
mathematicallogic
firstorderlogic
predicatelogic
discretemathematics
Page:
1
2
3
...
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
Jobs @cvppindia
How to be productive?For all Members,GATE Aspirants, everybody associated with "GO Family"
How to Do preparation for Gate2018
How to write nice answers/questions in GO
Organizing NET Questions
Follow @csegate
Gatecse
Search results for firstorderlogic
Recent Blog Comments
yes isro should change their dates. This is very ...
Hi Guys, I think this is not correct. ISRO ...
NIELIT specifically mailed that they decided ...
is there any chances of changing the exam date??
ISRO and NIELIT Exam on the same day i.e 17th ...
29,157
questions
36,984
answers
92,161
comments
34,824
users