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 mathematicallogic
Webpage for Mathematical Logic
+4
votes
3
answers
1
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 ... 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
Veteran
(
18k
points)

1.4k
views
gate2018
mathematicallogic
normal
0
votes
1
answer
2
Mathematical Logic
All Tautologies are valid and all Valid arguments are tautologies True/ False
asked
Feb 11
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

35
views
mathematicallogic
discretemathematics
0
votes
1
answer
3
Rosen Rules of Inference
Can someone please explain the highlighted text?
asked
Feb 11
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

48
views
mathematicallogic
valid
0
votes
0
answers
4
Universal Quantifier (Basics)
Which one of the expression of universal quantifier is ambiguous? For all For every all of for each for any for arbitrary
asked
Feb 9
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

41
views
mathematicallogic
quantifiers
+1
vote
1
answer
5
CMI2017A03
Four siblings go shopping with their father. If Abhay gets shoes, then Asha does not get a necklace. If Arun gets a Tshirt, then Aditi gets bangles. If Abhay does not get shoes or Aditi gets bangles, the mother will be happy. Which of the following is ... is not happy, then Asha did not get a necklace and Arun did not get a Tshirt. (d) None of the above.
asked
Feb 5
in
Mathematical Logic
by
Tesla!
Veteran
(
14.4k
points)

64
views
mathematicallogic
cmi2017
+2
votes
1
answer
6
Mathematical Logic
I think here B) and C) both could be answer, Isnot it??
asked
Jan 28
in
Mathematical Logic
by
srestha
Veteran
(
81.5k
points)

59
views
mathematicallogic
discretemathematics
+1
vote
1
answer
7
Propositional Logic
Not Valid does it mean not False ? also how to solve it ?
asked
Jan 26
in
Mathematical Logic
by
Salazar
Junior
(
853
points)

52
views
propositionallogic
discretemathematics
mathematicallogic
engineeringmathematics
+2
votes
1
answer
8
[Discrete maths] Predicate logic
asked
Jan 25
in
Mathematical Logic
by
rahul sharma 5
Veteran
(
23.5k
points)

45
views
predicatelogic
mathematicallogic
discretemathematics
firstorderlogic
+1
vote
0
answers
9
ACE Test Series
Can we verify such examples using truth tables? Using truth table answer comes as the contingency.(Since for pqr==011 it comes 0 and for all other combinations answer is 1). But the answer given is Option(A). I am so confused. Ans also how to verify if given expression is satisfiable or valid or both or none.
asked
Jan 21
in
Mathematical Logic
by
ankit_thawal
Loyal
(
2.5k
points)

36
views
mathematicallogic
+5
votes
0
answers
10
DM: Propositional Logic
$\text{Given option is (A), but I think option (B) is correct?}$
asked
Jan 20
in
Mathematical Logic
by
Vijay Thakur
Veteran
(
18.2k
points)

90
views
propositionallogic
mathematicallogic
discretemathematics
+2
votes
1
answer
11
Contingency or Not ?
~ $\forall$ x [ P(x) > (Q(x) v P(x) ) ]
asked
Jan 11
in
Mathematical Logic
by
VS
Boss
(
8k
points)

88
views
propositionallogic
mathematicallogic
+2
votes
1
answer
12
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)

77
views
propositionallogic
predicatelogic
mathematicallogic
discretemathematics
firstorderlogic
+1
vote
0
answers
13
Self Doubt for 3Dimensional Array
asked
Dec 31, 2017
in
Compiler Design
by
Salazar
Junior
(
853
points)

48
views
programminginc
pointers
mathematicallogic
0
votes
0
answers
14
Mathematical logic
How to solve these Question.
asked
Dec 30, 2017
in
Mathematical Logic
by
Abhishek Kumar Singh
Active
(
1.2k
points)

77
views
mathematicallogic
discretemathematics
nongate
+1
vote
1
answer
15
Discrete Maths Rosen, Section 1.1, Question 49
asked
Dec 27, 2017
in
Mathematical Logic
by
mohitjarvissharma
(
67
points)

72
views
discretemathematics
kennethrosen
mathematicallogic
0
votes
0
answers
16
$\text{Testbook Test(DMPropositional Logic)}$
asked
Dec 23, 2017
in
Mathematical Logic
by
krish__
Boss
(
6.6k
points)

76
views
testbooktestseries
propositionallogic
mathematicallogic
0
votes
0
answers
17
(∀x∀yP(x,y))→(∀x∀yP(y,x)) is tautology or not??
asked
Dec 16, 2017
in
Mathematical Logic
by
mohit kumar 5
Junior
(
799
points)

84
views
propositionallogic
mathematicallogic
+1
vote
3
answers
18
TIFR2018B4
The notation "$\Rightarrow$" denotes "implies" and "$\wedge$" denotes "and" in the following formulae. Let X denote the formula: (b $\Rightarrow$ a ) $\Rightarrow$ ( a $\Rightarrow$ b) Let Y denote the formula: ... satisfiable. (d) X is not tautology and Y is satisfiable. (e) X is a tautology and Y is satisfiable,
asked
Dec 10, 2017
in
Mathematical Logic
by
Arjun
Veteran
(
346k
points)

131
views
tifr2018
mathematicallogic
+2
votes
1
answer
19
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 ... 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
Nov 22, 2017
in
Mathematical Logic
by
junaid ahmad
Veteran
(
12.5k
points)

88
views
mathematicallogic
predicatelogic
+3
votes
3
answers
20
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
Nov 22, 2017
in
Mathematical Logic
by
junaid ahmad
Veteran
(
12.5k
points)

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

59
views
mathematicallogic
firstorderlogic
engineeringmathematics
+1
vote
2
answers
22
Tautology of contingency
asked
Nov 20, 2017
in
Mathematical Logic
by
Parshu gate
Boss
(
6.4k
points)

126
views
propositionallogic
mathematicallogic
0
votes
1
answer
23
Discrete Maths problem.
asked
Nov 20, 2017
in
Set Theory & Algebra
by
Parshu gate
Boss
(
6.4k
points)

77
views
discretemathematics
mathematicallogic
0
votes
0
answers
24
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.8k
points)

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

95
views
mathematicallogic
predicatelogic
discretemathematics
firstorderlogic
0
votes
0
answers
26
Self doubt on First Order logic
asked
Nov 16, 2017
in
Mathematical Logic
by
Tuhin Dutta
Boss
(
7.8k
points)

38
views
discretemathematics
mathematicallogic
predicatelogic
+3
votes
0
answers
27
mathematical logic
please explain in detail
asked
Nov 15, 2017
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

41
views
discretemathematics
mathematicallogic
+2
votes
0
answers
28
Mathematical logic
How to solve this type of question
asked
Nov 15, 2017
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

58
views
discretemathematics
mathematicallogic
+2
votes
0
answers
29
Mathematical Logic
Mathematical logic I found difficulty of this type question please help me
asked
Nov 15, 2017
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

31
views
discretemathematics
mathematicallogic
+2
votes
0
answers
30
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)

41
views
mathematicallogic
predicatelogic
firstorderlogic
discretemathematics
twoplacepredicate
Page:
1
2
3
4
5
6
...
12
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
isro sc 2017 2nd paper
Which college to expect?
Interview Guidance
CDAC CoursesAugust session
Counselling...
Follow @csegate
Gatecse
Recent questions tagged mathematicallogic
Recent Blog Comments
Sir , pls guide us how to prepare for the ...
Sir in Indian edition it is present
Okay Thanks
i think they call everyone ith a score higher ...
@raviyogi Do you know what was the cutoff ot IIT ...
33,720
questions
40,265
answers
114,393
comments
38,904
users