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 in Mathematical Logic
Recent
Hot!
Most votes
Most answers
Most views
Featured
Previous GATE
Web Page
Propositional and first order logic.
Recent
Hot!
Most votes
Most answers
Most views
Featured
Previous GATE
0
votes
1
answer
1
Doubt in P>Q>R
Which one is equivalent to p>q>r ? A) (p>q)>r B) p>(q>r) Plz give answer with proper explaination.
asked
5 hours
ago
in
Mathematical Logic
by
Dharmesh Gusai 1
(
29
points)

5
views
0
votes
1
answer
2
Group theory
How to solve it? Better solution
asked
10 hours
ago
in
Mathematical Logic
by
jatin khachane 1
(
349
points)

17
views
0
votes
1
answer
3
Sir i am first year ug student plese help me what to concentrate for gate from 1st year
asked
1 day
ago
in
Mathematical Logic
by
Manikantashetty.4321
(
7
points)

23
views
0
votes
1
answer
4
Combination with repetition allowed
Ans. 0
asked
1 day
ago
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

26
views
permutationsandcombinations
0
votes
0
answers
5
Lattice
Ans. C
asked
1 day
ago
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

13
views
lattice
discretemathematics
0
votes
1
answer
6
Propositional Logic
Ans. A
asked
1 day
ago
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

13
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
2
answers
7
Propositional Logic
Ans. B
asked
1 day
ago
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

17
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
1
answer
8
Nested quantifiers
Let domain be set of all fruits. Represent the following English statement into logic. 1)There are exactly 2 apple. S1:∃x∃y[A(x)⋀A(y)⋀(x≠y)⋀∀z(A(z)→(x=z⋁y=z)] S2: ∃x∃y[A(x)⋀A(y)⋀x≠y]⋀~∃x∃y∃z[A(x)⋀A(y)∧A(z)⋀x≠y∧y≠z⋀z≠x] where A(m)= m is an apple Is S1↔S2 ? If yes then how can u convert S2 into S1 using negating quantifier predicates
asked
2 days
ago
in
Mathematical Logic
by
Rohit Pandey
(
197
points)

12
views
0
votes
0
answers
9
Eigen vector
asked
2 days
ago
in
Mathematical Logic
by
Shivangi Parashar 2
(
41
points)

11
views
0
votes
0
answers
10
Eigen vector
asked
3 days
ago
in
Mathematical Logic
by
Shivangi Parashar 2
(
41
points)

15
views
0
votes
0
answers
11
Kenneth Rosen: Algeraic structure
https://gateoverflow.in/?qa=blob&qa_blobid=8621402344393100507 I am not able to understand How both structure have same signature? Two algebras are of same signature if they have same number of operations and same number of constants and also corresponding operations are of same arity.
asked
3 days
ago
in
Mathematical Logic
by
Sandy Sharma
Junior
(
693
points)

6
views
kennethrosen
discretemathematics
settheory&algebra
0
votes
0
answers
12
Relations and lattice
1. Every complemented lattice is distributed 2. Every Distributed lattice is complemented 3.Every Distributive lattice is bounded 4 .Every complemented lattice is bounded True or false
asked
4 days
ago
in
Mathematical Logic
by
jatin khachane 1
(
349
points)

8
views
+1
vote
0
answers
13
Descrete math
Which of the following is true ?
asked
5 days
ago
in
Mathematical Logic
by
Prince Sindhiya
Active
(
2.3k
points)

49
views
discretemathematics
+1
vote
1
answer
14
Sets ,DM
Let P ( S ) denotes the power set of the set S, the dual of the lattice ( P(S), ⊆ ) is a) Doesn't’t exist b) ( P(S), ⊆ ) c) ( P(S), ⊇ ) d) ( S,⊇)
asked
6 days
ago
in
Mathematical Logic
by
manisha11
(
207
points)

20
views
discretemathematics
settheory&algebra
0
votes
1
answer
15
made easy test series
1) Every group of prime order is Abelien group. 2) If (G,*) be a cyclic group of even order ,then there exist atleast one elements other than identity element such that a=a^(1)
asked
Aug 13
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

17
views
0
votes
1
answer
16
made easy test series
Every graph with fewer edge than vertices has component of tree(explain)
asked
Aug 13
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

12
views
0
votes
1
answer
17
made easy test series
Consider F be a family of all subsets of set {1,2,3,.....100} that contain atleast 50 numbers,partially ordered with respect to containment.Then maximum size of chains in the poset (F,⊆) that cover F is
asked
Aug 13
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

23
views
+1
vote
3
answers
18
made easy test series
What is the number of partition of X={a,b,c,d,e,f}.where 'a' and 'c' are always in same block?
asked
Aug 13
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

74
views
0
votes
0
answers
19
#firstorderlogic
asked
Aug 12
in
Mathematical Logic
by
HSHB
(
19
points)

10
views
0
votes
0
answers
20
Kenneth Rosen Chapter 1 Fuzzy logic
Is "Fuzzy Logic" in the syllabus?
asked
Aug 11
in
Mathematical Logic
by
swpril
(
55
points)

10
views
0
votes
0
answers
21
made easy test series
Consider a set S={1000,1001,1002,............9999}.The numbers in set 'S' have atleast one digit as 2 and atleast one digit as 5 are _
[closed]
asked
Aug 10
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

47
views
0
votes
0
answers
22
self doubt
translate english statements into predicate. Q)No one in your school owns both a bicycle and a motorcycle. i got this $\neg(\forall x(S(x)\implies (B(x)\wedge M(x)))$
asked
Aug 10
in
Mathematical Logic
by
Prince Sindhiya
Active
(
2.3k
points)

9
views
propositionallogic
0
votes
2
answers
23
Proposition Logic
asked
Aug 9
in
Mathematical Logic
by
aditi19
(
261
points)

49
views
mathematicallogic
propositionallogic
discretemathematics
0
votes
2
answers
24
Set theory
What is the difference between Subset and Proper subset? Can we say subset is also a proper subset in some cases?
asked
Aug 9
in
Mathematical Logic
by
AnilGoudar
Active
(
4.5k
points)

22
views
settheory&algebra
discretemathematics
0
votes
2
answers
25
made easy test series
Consider a man is known to speak truth 3 out of 5 times, he throw a die and reports the number obtained is 2. What is the probability that the number obtained is actually 2?
asked
Aug 8
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

22
views
0
votes
0
answers
26
Discrete mathematics
Is Isomorphism is in gate 2019 syllabus for discrete mathematics ?
asked
Aug 7
in
Mathematical Logic
by
jatin khachane 1
(
349
points)

9
views
+1
vote
0
answers
27
TIFR 2014
The rules for the University of Bombay fiveaside cricket competition specify that the members of each team must have birthdays in the same month. What is the minimum number of mathematics students needed to be enrolled in the department to guarantee ... different  different cases and so can't understand this question.so my humble request to solve this question with full expalantion
[closed]
asked
Aug 6
in
Mathematical Logic
by
akg1997
(
17
points)

15
views
tifrmaths2014
+1
vote
0
answers
28
made easy test series
Consider ‘A’ is a set containing n elements. A subset ‘P’ of ‘A’ is chosen at random. The set ‘A’ is reconstructed by replacing the elements of ‘A’. A subset ‘Q’ of ‘A’ is again chosen at random. What is the probability that ‘P’ and ‘Q’ have no common element?
asked
Aug 6
in
Mathematical Logic
by
talha hashim
Active
(
2.1k
points)

15
views
0
votes
1
answer
29
Made Easy
Consider there are two tribes living on the Island: Knights and knaves. Knights always tell truth while Knaves always tells lie. Suppose we counter two random people A and B, upon asking a question to A', A says If B is Knight then I am a Knave . What we can conclude about person A ... and B is Knave b.) A is Knave and B is Knave c.) Both A and B are Knight d.) Both A and B are Knave
asked
Aug 6
in
Mathematical Logic
by
snehasarkar
(
39
points)

18
views
madeeasytestseries
0
votes
0
answers
30
gate 2001
what is the converse of the following assertion. ? I stay only if you go a)I stay if you go b) if I stay then you go c)If you do not go then I do not stay d)if I do not stay then you go
[closed]
asked
Aug 6
in
Mathematical Logic
by
mayankr99
(
7
points)

11
views
Page:
1
2
3
4
5
6
...
53
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
Members at the site
sutanay3
karensharma
GastonKinros
Kushagra Chatterjee
manisha11
Recent Posts
Anxiety
Nielit 2018
Donation (Kerala Flood)
Schedule for GATE 2019
GATE 2019 official website
All categories
General Aptitude
1.3k
Engineering Mathematics
5.5k
Discrete Mathematics
3.8k
Mathematical Logic
1.6k
Set Theory & Algebra
969
Combinatory
671
Graph Theory
624
Probability
673
Linear Algebra
543
Calculus
393
Digital Logic
2.1k
Programming & DS
4k
Algorithms
3.4k
Theory of Computation
4.3k
Compiler Design
1.6k
Operating System
3.1k
Databases
3.1k
CO & Architecture
2.7k
Computer Networks
3.1k
Non GATE
1.1k
Others
1.4k
Admissions
501
Exam Queries
451
Tier 1 Placement Questions
20
Job Queries
62
Projects
12
Follow @csegate
Gatecse
Recent questions in Mathematical Logic
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,203
questions
45,703
answers
132,820
comments
49,755
users