The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
GATE Overflow
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
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 and answers in Mathematical Logic
0
votes
0
answers
1
made easy test series
Consider the following predicates: S(x): x is a student GATE(x,y): x has written gate in stream y. Which of the following is equivalent predicate logic for the statement : There doesnt exist a student who has written GATE in every stream. (a) ... $\exists y\exists x[\sim S(x)\Lambda \sim GATE(x,y)]$
asked
4 hours
ago
in
Mathematical Logic
by
Somoshree Datta 5
Active
(
3.8k
points)

25
views
0
votes
1
answer
2
GATE Combinatorics
Can someone suggest me a good read material for combinatorics (recurrence relation and generating function specially) which will be helpful in solving the kind of questions asked previously on this topic.
answered
4 hours
ago
in
Mathematical Logic
by
`JEET
Active
(
3.2k
points)

7
views
0
votes
0
answers
3
Doubt in Regular expression
how to prove $(x^{*}y)^{*}x^{*}y = x^{*}(yx^{*})^{*}y$ I have already checked https://gateoverflow.in/290653/me_test_series?show=290690 It contains extra y. x*y(yx*)*y and I am not able to solve this , please help
asked
21 hours
ago
in
Mathematical Logic
by
mehul vaidya
Active
(
2.7k
points)

8
views
0
votes
0
answers
4
Probability from Gateforum Test series
Please anyone help me to solve this problem… It would be really helpful!
asked
1 day
ago
in
Mathematical Logic
by
BabluNaren
(
11
points)

13
views
0
votes
0
answers
5
SELF DOUBT
The number of totally ordered sets compatible to the given POSET are_________ IS IT TOPOLOGICAL SORT POSSIBLE OR TOTAL CHAINS POSSIBLE IN DIAGRAM
asked
2 days
ago
in
Mathematical Logic
by
Deepanshu
Loyal
(
6.2k
points)

37
views
0
votes
0
answers
6
#madeeasy
A group G having O(G)= 200 is known to be cyclic with g being one of its generator.It is given that O(g^x)=100 for some x€Z. Then value of x is?
asked
3 days
ago
in
Mathematical Logic
by
BHOJARAM
(
135
points)

24
views
0
votes
0
answers
7
ME TEST
Which of the choice best describes the above FOL statement ? a)Every alligators eats humans b)only alligators eats human
asked
3 days
ago
in
Mathematical Logic
by
junaid ahmad
Loyal
(
9.4k
points)

20
views
madeeasytestseries
0
votes
2
answers
8
permutation and combination
1 2 10 16
answered
3 days
ago
in
Mathematical Logic
by
Vikas123
(
355
points)

32
views
+16
votes
2
answers
9
GATE200540
Let $P, Q$ and $R$ be three atomic propositional assertions. Let $X$ denote $( P ∨ Q ) → R$ and Y denote $(P → R) ∨ (Q → R).$ Which one of the following is a tautology? $X ≡ Y$ $X → Y$ $Y → X$ $¬Y → X$
answered
4 days
ago
in
Mathematical Logic
by
Verma Ashish
Active
(
3.8k
points)

1.4k
views
gate2005
mathematicallogic
propositionallogic
normal
0
votes
0
answers
10
Permutation and combination
In how many different ways can a set of 3n elements be partitioned into 3 subsets of equal number of elements? Isn't this case of distributing distinguishable objects and distinguishable boxes, so the answer should be $(3n)! / ((n!)^3 )$. But ... Can anybody explain? Or post a link where to study all concepts of permutation and combination and counting
asked
4 days
ago
in
Mathematical Logic
by
bts1jimin
(
185
points)

36
views
permutationsandcombinations
engineeringmathematics
0
votes
1
answer
11
Permutation and Combination
The number of ways can 5 letters be put into 3 letter boxes A,B,C. If letter box A must contain atleast 2 letters ?
answered
4 days
ago
in
Mathematical Logic
by
arvin
Boss
(
11.7k
points)

48
views
permutationsandcombinations
discretemathematics
madeeasytestseries
0
votes
1
answer
12
CUT VERTEX
plz solve this problem..
answered
5 days
ago
in
Mathematical Logic
by
SAUMYA2019
(
39
points)

30
views
cutoffs
engineeringmathematics
discretemathematics
graphtheory
+15
votes
4
answers
13
GATE200924
The binary operation □ is defined as follows P Q P □ Q T T T T F T F T F F F T Which one of the following is equivalent to $P \vee Q$? $\neg Q □ \neg P$ $P□\neg Q$ $\neg P□Q$ $\neg P□ \neg Q$
answered
5 days
ago
in
Mathematical Logic
by
Verma Ashish
Active
(
3.8k
points)

1.6k
views
gate2009
mathematicallogic
easy
propositionallogic
+3
votes
1
answer
14
madeeasy workbook
how option a is correct
answered
5 days
ago
in
Mathematical Logic
by
tezzsingh88
(
29
points)

1.5k
views
+22
votes
3
answers
15
GATE200627
Consider the following propositional statements: $P_1: ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))$ $P_2: ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))$ Which one of the following is true? $P_1$ is a tautology, but not $P_2$ $P_2$ is a tautology, but not $P_1 $P_1$ and $P_2$ are both tautologies Both $P_1$ and $P_2$ are not tautologies
answered
5 days
ago
in
Mathematical Logic
by
tezzsingh88
(
29
points)

1.6k
views
gate2006
mathematicallogic
normal
propositionallogic
+27
votes
4
answers
16
GATE2006IT21
Consider the following first order logic formula in which $R$ is a binary relation symbol. $∀x∀y (R(x, y) \implies R(y, x))$ The formula is satisfiable and valid satisfiable and so is its negation unsatisfiable but its negation is valid satisfiable but its negation is unsatisfiable
answered
5 days
ago
in
Mathematical Logic
by
tezzsingh88
(
29
points)

3.3k
views
gate2006it
mathematicallogic
normal
firstorderlogic
0
votes
1
answer
17
GATEBOOK2019DM13
Which of the following formulae is a formalization of the sentence: "There is a $\text{Computer}$ which is not used by any $\text{Student}$" $ \exists x (\text{Computer}(x) \wedge \forall y. (\sim \text{Student}(y) \wedge \sim \text{Uses}(y,x))) $ ... $ \exists x (\text{Computer} (x) \rightarrow \forall y . (\sim \text{Student} (y) \wedge \sim \text{Uses}(y,x)))$
answered
6 days
ago
in
Mathematical Logic
by
Sourabh Keshri
(
291
points)

71
views
gb2019dm1
discretemathematics
mathematicallogic
quantifiers
0
votes
1
answer
18
GATEBOOK2019DM112
Translate the following logic statement to English where, $A(x)$: $x$ is African, $F(x,y)$: x and y are friends. The universe for $x$ and $y$ is all the people in the world. $\forall x \exists y((A(x) \vee (F(x,y)))$ Every African has some African friend Every person who is not African has at least one friend Every person who has friend is not African None of these
answered
6 days
ago
in
Mathematical Logic
by
Sourabh Keshri
(
291
points)

130
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
0
votes
1
answer
19
GATEBOOK2019DM117
Every true Indian thinks about politics and Jayaprakash Narayana thinks about politics Which of the following is valid conclusion? Jayaprakash Narayana is true Indian Jayaprakash Narayana is politician Jayaprakash Narayana is not true Indian None of the above
answered
6 days
ago
in
Mathematical Logic
by
dharmendratest
(
183
points)

62
views
gb2019dm1
discretemathematics
mathematicallogic
0
votes
0
answers
20
Gate2000
A relation R is defined on the set of integers as xRy iff (x+y) is even. Which of the following statements is true? A R is not an equivalence relation B R is an equivalence relation having 1 equivalence class C R is an equivalence relation having 2 equivalence classes D R is an equivalence relation having 3 equivalence classes Engineering Mathematics Sets and Relations
[closed]
asked
6 days
ago
in
Mathematical Logic
by
balchandar reddy san
Junior
(
565
points)

19
views
relations
engineeringmathematics
0
votes
0
answers
21
self_doubt
S1:Every subgroup of an abelian group is also abelian? True or false
asked
6 days
ago
in
Mathematical Logic
by
Shivam Kasat
Active
(
1.6k
points)

32
views
discretemathematics
0
votes
0
answers
22
Graph theory
How to find possible number of MST'S in a star graph
asked
6 days
ago
in
Mathematical Logic
by
Mohana Krishna
(
7
points)

18
views
0
votes
0
answers
23
uppcl_2018
need explaination
[closed]
asked
6 days
ago
in
Mathematical Logic
by
SAUMYA2019
(
39
points)

12
views
0
votes
0
answers
24
Composition of a relation Madeeasy 2019
How to take composition of a Relation? here used concept of function but when to go with the transitivity rule concept as mentioned below? Please clarify in general when to use which method
asked
6 days
ago
in
Mathematical Logic
by
Markzuck
(
393
points)

18
views
discretemathematics
relations
functions
settheory&algebra
0
votes
0
answers
25
Kenneth Rosen Nested Quantifiers Self Doubt
Q) There is somebody whom no one loves L(x,y) : x loves y. Doubt: Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different please give explaination
asked
Jan 10
in
Mathematical Logic
by
kd.....
Junior
(
689
points)

21
views
mathematicallogic
kennethrosen
discretemathematics
propositionallogic
blocknestedloopjoin
0
votes
0
answers
26
What is a good resource to learn all the rules of modular arithmetic?
For example, is there a way to calculate the value of $(7 \times 11 \times 13 \times 17) \% 5$ in terms of the values of $7\%5, 11\%5, 13\%5,$ and $17\%5 $ ?
asked
Jan 10
in
Mathematical Logic
by
rawan
Junior
(
605
points)

15
views
0
votes
0
answers
27
made easy test series
let f(x,y)=(x+y,xy) what is f^1(x,y) is
[closed]
asked
Jan 10
in
Mathematical Logic
by
suneetha
Junior
(
513
points)

25
views
madeeasytestseries
0
votes
0
answers
28
Maths
HOW MANY ways we can distribute 10 objects to 3 children so that every child gets atleast one object?
asked
Jan 9
in
Mathematical Logic
by
Raghav Khajuria
Junior
(
601
points)

45
views
0
votes
0
answers
29
probability
Twelve balls are distributed at random among three boxes. The probability that the first box will contain three balls is ________. (Upto 2 decimal places) expalin in detail...
asked
Jan 9
in
Mathematical Logic
by
Lone Wolf
Active
(
1.5k
points)

16
views
0
votes
0
answers
30
Probablity
Is this P(p/q’)P(q’)=P(q’/p).P(p) means probability of happening p when q’ has already happened =probability of not happening q’ when p is already happened way of doing is always correct ?? and i copied this from @sanjay sharma answer here
asked
Jan 9
in
Mathematical Logic
by
Gurdeep Saini
Loyal
(
7.6k
points)

8
views
probability
engineeringmathematics
permutationsandcombinations
0
votes
0
answers
31
ME TEST
How to get the idea that we have to use Binaomial distribution or Hypergeometric Distribution. I know that if probabality is not changing(i.e with replacement) than we go Binomial otherwise Hypergeometric.But in question it is not indicating anything about replacement. So is there any by default approach that we have to use Binomial if nothing is mention about replacement.
asked
Jan 9
in
Mathematical Logic
by
junaid ahmad
Loyal
(
9.4k
points)

10
views
madeeasytestseries
0
votes
0
answers
32
logic
what is the truth value of this if x,y belong to real numbers $\exists x\forall y(y\neq 0 \rightarrow xy=1)$ am getting true,but given answer is false.
asked
Jan 8
in
Mathematical Logic
by
Gate Fever
Active
(
4.4k
points)

18
views
0
votes
1
answer
33
ME Test
Can any one give a proper method to solve such questions ? It will be really appreciable.. Pardon for the screenshot though. No idea of latex.
answered
Jan 8
in
Mathematical Logic
by
Shobhit Joshi
Active
(
4.5k
points)

64
views
madeeasytestseries
firstorderlogic
0
votes
1
answer
34
Fog and gof function
answered
Jan 8
in
Mathematical Logic
by
Alakhator
(
51
points)

81
views
0
votes
1
answer
35
Reflexive Relation
Can anyone help …. where I am wrong…??
answered
Jan 8
in
Mathematical Logic
by
adarsh_1997
Active
(
3.2k
points)

26
views
relations
settheory&algebra
discretemathematics
0
votes
0
answers
36
gate zeal test
Isn’t the 3) statement is wrong it should be [(p>r)^(q>r)]>[(p∨q)>r] \
asked
Jan 7
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
6.1k
points)

23
views
zeal
test
mock
+1
vote
1
answer
37
Propositional logic self doubt
q = you can access the library r = you have a valid ID s = you have paid subscription fee of that day Consider the following English sentence “You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day” which of the following is the correct logical expression? $q \rightarrow (r \vee s )$ $(q \rightarrow r) \vee s$
answered
Jan 7
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
26.4k
points)

35
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
0
answers
38
Self Doubt
What is difference between B and C Option.
asked
Jan 6
in
Mathematical Logic
by
iamdeepakji
(
195
points)

36
views
discretemathematics
0
votes
0
answers
39
made easy
Consider the following predicate logic statements: “Everyone has exactly one favorite language” Which of the following represents the logical translation of above statement where M(y, x) represent y is favorite language of x ?
asked
Jan 6
in
Mathematical Logic
by
pream sagar
Active
(
1.1k
points)

24
views
0
votes
1
answer
40
This question is from graph theory
What is the total number of vertices in a tree if there are 3n vertices of degree 2 and 2n vertices of degree n?
answered
Jan 6
in
Mathematical Logic
by
Purva Taranekar
(
91
points)

48
views
To see more, click for all the
questions in this category
.
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
YesAbhisa
Fyse
Virat Mishra
prashant jha 1
anjali007
kd.....
Kshitija
muthu kumar
newdreamz a1z0
sripo
OneZero
Deepanshu
balraj_allam
Gyanu
Recent Posts
Decidability Slides
How to Revise?
AAI JE IT results out! Adv no 02/2018
Graph Theory Slides for GATECSE
Generating Function Useful Link
All categories
General Aptitude
1.5k
Engineering Mathematics
6.9k
Discrete Mathematics
4.8k
Mathematical Logic
1.9k
Set Theory & Algebra
1.3k
Combinatory
858
Graph Theory
775
Probability
966
Linear Algebra
682
Calculus
488
Digital Logic
2.7k
Programming & DS
4.8k
Algorithms
4.1k
Theory of Computation
5.2k
Compiler Design
2k
Operating System
3.9k
Databases
3.9k
CO & Architecture
3.4k
Computer Networks
3.9k
Non GATE
1.4k
Others
1.5k
Admissions
514
Exam Queries
525
Tier 1 Placement Questions
23
Job Queries
67
Projects
18
Follow @csegate
Gatecse
Recent questions and answers in Mathematical Logic
Recent Blog Comments
I have developed this weird addiction...
https://gateoverflow.in/exam/136/appliedcourse20...
1 fulllength test and revision...
46,769
questions
51,220
answers
176,473
comments
66,581
users