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 mathematicallogic
Webpage for Mathematical Logic
0
votes
0
answers
1
SelfDoubtLogic
What is the negation of ∃x(x2=2) I think it is ∀x(x2$\neq$2)
asked
Jun 9
in
Mathematical Logic
by
Ayush Upadhyaya
Loyal
(
8.9k
points)

43
views
discretemathematics
mathematicallogic
+1
vote
1
answer
2
Kennth Rosen,ch:1,Ex:1.3,Qn:51
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?
asked
Jun 5
in
Mathematical Logic
by
siva140191
(
63
points)

39
views
kennethrosen
settheory&algebra
propositionallogic
mathematicallogic
descriptive
0
votes
0
answers
3
Kennth Rosen Ch:1,Ex:1.2, Qn:38.
Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle.Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men ... , their pets, and their favorite drinks and use logical reasoning to determine the correct entries in the table.]?
asked
Jun 3
in
Mathematical Logic
by
siva140191
(
63
points)

51
views
kennethrosen
mathematicallogic
settheory&algebra
propositionallogic
descriptive
+1
vote
1
answer
4
Mathematical logic
Suppose the numbers $1$ to $20$ are placed in any order around a circle . Show that the sum of some three consecutive numbers must be atleast $32$.
asked
May 30
in
Mathematical Logic
by
Sammohan Ganguly
(
417
points)

34
views
engineeringmathematics
discretemathematics
mathematicallogic
0
votes
1
answer
5
Mathematical logic
Which of the following is(are) not logical implications? p<>q => p>q p^q => p<>q p<> => p>~q p<>~q => p>q
asked
May 30
in
Mathematical Logic
by
Mr khan 3
(
127
points)

33
views
engineeringmathematics
discretemathematics
mathematicallogic
+1
vote
2
answers
6
Mathematical logic
[~p ^ (p>q)]  > ~p is., satisfiable unsatisfiable tautology invalid
asked
May 29
in
Mathematical Logic
by
Mr khan 3
(
127
points)

47
views
engineeringmathematics
discretemathematics
mathematicallogic
0
votes
2
answers
7
Rosen page 17
"You can access the Internet from campus only if you are a computer science major or you are not a freshman" According to Rosen, its equivalent compound proposition is a $→ (c ∨¬f )$. Should it not be the other way round? $(c ∨¬f ) → a$
asked
May 28
in
Mathematical Logic
by
Warlock lord
Active
(
3.4k
points)

79
views
kennethrosen
mathematicallogic
engineeringmathematics
discretemathematics
propositionallogic
+1
vote
1
answer
8
Self doubt
In a group of five people one is either a friend or enemy of the others. It is given that no three of them are friends and no three of them are enemies. Prove that every member in that group has exactly two friends
asked
May 28
in
Mathematical Logic
by
Sammohan Ganguly
(
417
points)

28
views
engineeringmathematics
mathematicallogic
discretemathematics
0
votes
1
answer
9
Gate Previous year
Consider the following formula and its two interpretations $I1$ and $I2$. $α:(∀x)[Px⇔(∀y)[Qxy⇔¬Qyy]]⇒(∀x)[¬Px]$ $I1 :$ Domain: the set of natural numbers $Px =$ $\text{'x is a prime number'}$ $Qxy =\text{ 'y divides x'}$ $I2 :$ same as ... for all $x$ quantifier is going to pick every composite number value from the set and the domain of $Y:\text{{set of all natural numbers}}$
asked
May 27
in
Mathematical Logic
by
Arnab Mandal
(
165
points)

46
views
engineeringmathematics
mathematicallogic
0
votes
1
answer
10
IITK Sample written test
I Think answer should be $C$. Let , India is a stronger team than australia is $X$ and India will loose the series is $Y$ so ,$X\rightarrow Y$ can be wriiten as $Y^{'}\rightarrow X^{'}$ or $Y+X^{'}$ So answer is coming out to be $C$. Am i right?
asked
May 15
in
Mathematical Logic
by
Anand.
Active
(
1.2k
points)

45
views
writtentest
iitkanpur
mtechadmission
mathematicallogic
0
votes
0
answers
11
How can this English sentence be translated into a logical expression?
asked
Apr 26
in
Mathematical Logic
by
hem chandra joshi
Active
(
4.4k
points)

61
views
mathematicallogic
discretemathematics
propositionallogic
+1
vote
2
answers
12
PGEE 2018
p: n is a prime number q: n mod 30 is prime number 1) p implies q 2) q implies p 3) p implies q or q implies p 4) If p implies q then q implies p
asked
Apr 21
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

182
views
iiithpgee
mathematicallogic
+1
vote
2
answers
13
PGEE 2018
One one evening sita and gita were sitting in a park with there back facing each other sita was able to see her shadow on left at what direction was gita sitting ? A) NorthEast B) North C) West D) South
asked
Apr 21
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

108
views
iiithpgee
mathematicallogic
+1
vote
2
answers
14
PGEE 2018
Two trucks are 150 KM apart on the main road, Truck one start and go 25km straight then 15 km right 25 km left and finally turn towards the main road however due to breakage truck two only go 35 km straight what is the total distance between them now? A) 150 KM B) 50 Km C) 65 Km D) 85 Km
asked
Apr 21
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

102
views
iiithpgee
mathematicallogic
+1
vote
1
answer
15
PGEE 2018
Which of the following tell us which day is on 14th of a particular month I) 17th is on 3rd Saturday II) the last date of the month is on Wednesday A) Only 1 is sufficient B) Only 2 is sufficient C) Both are required D) Both are insufficient
asked
Apr 21
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

80
views
iiithpgee
mathematicallogic
+1
vote
1
answer
16
PGEE 2018
Which of the statement is sufficient to determine children of x 1) Q and U are brothers of T 2) P is the sister of U and S 3) P and T are daughters of X A) 1 and 2 B) 1,2 and 3 C) 2 and 3 D) data insufficient
asked
Apr 21
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

191
views
iiithpgee
mathematicallogic
0
votes
2
answers
17
PGEE 2018
Which of the following statement is true? 1) Exactly one of the statement is false 2) Exactly two statements are false 3) Exactly three statements are false 4) Exactly four statements are false A) II B) !V C) III D) I
asked
Apr 21
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

64
views
mathematicallogic
0
votes
1
answer
18
Propositional logic
Sagar will marry Sheela only if She is a graduate and a good cook. Which is True ? 1.Sheela is a good cook but not a graduate hence Sagar will not marry sheela. 2.Sagar will marry sheela since she is a good cook though she is not a graduate. 3 ... and a good cook implies Sagar will marry Sheela 4.Sagar did not marry Sheela implies that she is neither a graduate nor a good cook.
asked
Apr 16
in
Mathematical Logic
by
Na462
Active
(
3.3k
points)

87
views
propositionallogic
discretemathematics
mathematicallogic
0
votes
1
answer
19
Rosen Ex1.1 Q No. 45
Each inhabitant of a remote village always tells the truth or always lies. A villager will only give a "Yes" or a "No" response to a question a tourist asks. Suppose you are a tourist visiting this area and come to a fork in the ... A villager is standing at the fork in the road. What one question can you ask the villager to determine which branch to take?
asked
Feb 26
in
Mathematical Logic
by
Harshita
(
123
points)

85
views
discretemathematics
mathematicallogic
puzzle
+6
votes
3
answers
20
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
(
18k
points)

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

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

79
views
mathematicallogic
valid
+1
vote
0
answers
23
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
(
12.6k
points)

105
views
mathematicallogic
quantifiers
+1
vote
1
answer
24
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 TRUE? If the ... shoes. If the mother is not happy, then Asha did not get a necklace and Arun did not get a Tshirt. None of the above.
asked
Feb 5
in
Mathematical Logic
by
Tesla!
Boss
(
16.1k
points)

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

84
views
mathematicallogic
discretemathematics
+1
vote
1
answer
26
Propositional Logic
Not Valid does it mean not False ? also how to solve it ?
asked
Jan 26
in
Mathematical Logic
by
Salazar
Active
(
1.1k
points)

84
views
propositionallogic
discretemathematics
mathematicallogic
engineeringmathematics
+2
votes
1
answer
27
[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.1k
points)

86
views
propositionallogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
0
answers
28
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 20
in
Mathematical Logic
by
ankit_thawal
Active
(
2.1k
points)

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

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

118
views
propositionallogic
mathematicallogic
Page:
1
2
3
4
5
6
...
13
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
IISc CSA and CDCS written test and interview Experince
IIIT Hyderabad Interview Experience
My failure, Oh wait SUCCESS journey
ALGORITHMS CHECKLIST:
A Failure who got into IISc
Follow @csegate
Gatecse
Recent questions tagged mathematicallogic
Recent Blog Comments
Sir I didn't get an email for GO classroom, ...
any one with marks less than 125 selected?
Thank you @Arjun Sir, @NamitaAIR1, @Priyanka, ...
Your story is very inspiring for the boys like me ...
So you completed your Btech in 5 yrs? How could ...
36,194
questions
43,647
answers
124,088
comments
42,928
users