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 mathematicallogic
+6
votes
9
answers
1
ISRO201722
Which one of the following Boolean expressions is NOT a tautology? $((a \rightarrow b) \wedge (b \rightarrow c)) \rightarrow (a \rightarrow c)$ $(a \leftrightarrow c) \rightarrow (\sim b\rightarrow (a\wedge c))$ $(a\wedge b \wedge c)\rightarrow (c \vee a)$ $a\rightarrow (b\rightarrow a)$
asked
May 7
in
Mathematical Logic
by
sh!va
Veteran
(
32k
points)

1.4k
views
isro2017
booleanexpressions
mathematicallogic
+12
votes
5
answers
2
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
3
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
+27
votes
5
answers
4
GATE2016201
Consider the following expressions: $false$ $Q$ $true$ $P\vee Q$ $\neg Q\vee P$ The number of expressions given above that are logically implied by $P \wedge (P \Rightarrow Q)$ is ___________.
asked
Feb 12, 2016
in
Mathematical Logic
by
Akash Kanase
Veteran
(
46.8k
points)

3.2k
views
gate20162
mathematicallogic
normal
numericalanswers
propositionallogic
+16
votes
3
answers
5
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
0
votes
2
answers
6
UGC NET DEC 2017 PAPER 2 Q 1
If the time is now 4 O'clock, what will be the time after 101 hours from now? (1) 9 O'clock (2) 8 O'clock (3) 5 O'clock (4) 4 O'clock
asked
Nov 6
in
Digital Logic
by
contactnarwal
(
41
points)

445
views
ugcnetdec2017
mathematicallogic
+6
votes
6
answers
7
GATE2017211
Let $p, q, r$ denote the statements It is raining , It is cold , and It is pleasant , respectively. Then the statement It is not raining and it is pleasant, and it is not pleasant only if it is raining and it is cold is represented by $(\neg p \wedge r) \wedge (\neg r ... p \wedge r) \vee ((p \wedge q) \rightarrow \neg r)$ $(\neg p \wedge r) \vee (r \rightarrow (p \wedge q))$
asked
Feb 14
in
Mathematical Logic
by
khushtak
Boss
(
7.9k
points)

1.4k
views
gate20172
mathematicallogic
propositionallogic
+1
vote
6
answers
8
UGCNETNov2017ii8
Let P and Q be two propositions $\sim(p\leftrightarrow Q)$ is equivalent to : $(1)P\leftrightarrow \sim Q \\ (2)\sim P\leftrightarrow Q \\ (3)\sim P \leftrightarrow \sim Q \\ (4)Q\rightarrow P$
asked
Nov 5
in
Others
by
Arjun
Veteran
(
327k
points)

102
views
ugcnetnov2017ii
discretemathematics
mathematicallogic
+22
votes
5
answers
9
GATE 201611
Let $p, q, r, s$ represents the following propositions. $p:x\in\left\{8, 9, 10, 11, 12\right\}$ $q:$ $x$ is a composite number. $r:$ $x$ is a perfect square. $s:$ $x$ is a prime number. The integer $x\geq2$ which satisfies $\neg\left(\left(p\Rightarrow q\right) \wedge \left(\neg r \vee \neg s\right)\right)$ is ____________.
asked
Feb 12, 2016
in
Mathematical Logic
by
Sandeep Singh
Boss
(
9.2k
points)

2.3k
views
gate20161
mathematicallogic
normal
numericalanswers
propositionallogic
+1
vote
2
answers
10
First Order Logic
Can Anyone confirm this FOL : (∃xp(x) ∨ ∃xq(x)) ⟹ ∃x(p(x) ∨ q(x)) is valid or not ? I think it is NOT.
asked
2 days
ago
in
Mathematical Logic
by
junaid ahmad
Boss
(
9.6k
points)

33
views
mathematicallogic
+1
vote
2
answers
11
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
1
answer
12
PREDICATE LOGIC
Consider the following predicate statements. P1: ~$\forall$x ~(P(X)>$\exists$yQ(y)) P2: $\exists$x(~P(x)$\vee$ $\exists$yQ(y)) P3: $\exists$x(~$\exists$yQ(y)>~P(x)) P4: ~$\forall$x(P(X) $\wedge$ ~$\exists$Q(Y)) which of the above ... D)ALL OF THESE. P2 is trivial,but in others predicate i am not able to see how the scope of ~(negation) changes,with respect to parantheses..
asked
2 days
ago
in
Mathematical Logic
by
junaid ahmad
Boss
(
9.6k
points)

23
views
mathematicallogic
predicatelogic
0
votes
1
answer
13
Tautology of contingency
asked
4 days
ago
in
Mathematical Logic
by
Parshu gate
Loyal
(
3.7k
points)

27
views
propositionallogic
mathematicallogic
0
votes
0
answers
14
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
15
Discrete Maths problem.
asked
4 days
ago
in
Set Theory & Algebra
by
Parshu gate
Loyal
(
3.7k
points)

30
views
discretemathematics
mathematicallogic
0
votes
0
answers
16
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
0
votes
0
answers
17
Self doubt on First Order logic
To check whether this statement is always true $(\forall x (P(x)) \implies \forall x (Q(x))) \implies (\forall x(P(x) \implies Q(x)))$ Ans: Let $(\forall x (P(x)) \implies \forall x (Q(x)))$ be A and $(\forall x(P(x ... A: T and B: F, hence the statement given in question cannot be valid or always true or tautology. Is my approach correct? Is this a correct solution?
asked
Nov 16
in
Mathematical Logic
by
Tuhin Dutta
Loyal
(
3.1k
points)

23
views
discretemathematics
mathematicallogic
predicatelogic
+1
vote
0
answers
18
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
0
answers
19
Mathematical logic
How to solve this type of question
asked
Nov 14
in
Mathematical Logic
by
Lakshman Patel RJIT
Active
(
1.3k
points)

23
views
discretemathematics
mathematicallogic
0
votes
0
answers
20
mathematical logic
please explain in detail
asked
Nov 14
in
Mathematical Logic
by
Lakshman Patel RJIT
Active
(
1.3k
points)

20
views
discretemathematics
mathematicallogic
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 mathematicallogic
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