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 and answers in Mathematical Logic
0
votes
0
answers
1
zeal test descrete
My doubt is in second hasse diagram for (I,g) lub should be I and j so it is not lattice please correct me if i amwrong
asked
21 hours
ago
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

14
views
zeal
test
0
votes
1
answer
2
Propositional and First Order Logic GATECS2006
answered
1 day
ago
in
Mathematical Logic
by
rajputved
(
45
points)

389
views
discretemathematics
firstorderlogic
mathematicallogic
propositionallogic
0
votes
0
answers
3
#virtual gate
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? (a) If ... If the mother is not happy, then Asha did not get a necklace and Arun did not get a Tshirt. (d) None of the above.
[closed]
asked
2 days
ago
in
Mathematical Logic
by
himgta
Active
(
2.3k
points)

7
views
0
votes
1
answer
4
Lattice
answered
2 days
ago
in
Mathematical Logic
by
Deepakk Poonia (Dee)
Boss
(
19.4k
points)

44
views
lattice
discretemathematics
0
votes
1
answer
5
Made easy test series
What is the difference between (ii) and (iv). I understood (ii) as "All the engineers like at least some doctor" What will be the translation for (iv) ?
answered
3 days
ago
in
Mathematical Logic
by
goxul
Active
(
4.2k
points)

24
views
0
votes
1
answer
6
universe of discourse[ propositional logic]
answered
4 days
ago
in
Mathematical Logic
by
Shubham Aggarwal
Active
(
1.2k
points)

13
views
0
votes
1
answer
7
why is the conclusion incorrect for the below premises ?
answered
4 days
ago
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
23.6k
points)

72
views
mathematicallogic
0
votes
0
answers
8
#books
Some cat are intelligent express into first order logic if domain are animals
asked
6 days
ago
in
Mathematical Logic
by
amit166
(
329
points)

19
views
#first
firstorderlogic
0
votes
0
answers
9
#notesbook
you cannot ride the roller coaster if you are under 4 feet tall unless you are old then 16 years convert into propostional logic
asked
6 days
ago
in
Mathematical Logic
by
amit166
(
329
points)

9
views
#propostional
propositionallogic
0
votes
1
answer
10
gatezeal testseries
answered
6 days
ago
in
Mathematical Logic
by
Gurdeep Saini
Active
(
3.3k
points)

81
views
zeal
testseries
0
votes
0
answers
11
gate zeal test series
is there any shortcut to do this question fast ?
asked
6 days
ago
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

40
views
zeal
test
series
0
votes
0
answers
12
gate zeal test series
Its answer is D) can anyone explain what is difference between a) and d)
asked
6 days
ago
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

11
views
zeal
test
series
0
votes
0
answers
13
gate zeal test series
i didn't read the concept related to strongly connected components please it describe it for this question
asked
6 days
ago
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

31
views
zeal
test
series
0
votes
0
answers
14
gate zeal test series
asked
6 days
ago
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

9
views
zeal
test
series
+1
vote
1
answer
15
GATEBOOK2019DM110
Assuming a nonempty universe, the formula $(\forall x P(x) \vee \exists y P(y))$ is equivalent to $\exists x (P(x))$ $ (\forall x P(x))$ $ \neg (\forall x P(x))$ $ \neg (\exists x (P(x))$
answered
6 days
ago
in
Mathematical Logic
by
Arjun
Veteran
(
363k
points)

45
views
gb2019dm1
discretemathematics
propositionallogic
mathematicallogic
0
votes
0
answers
16
Virtual gate
asked
Nov 11
in
Mathematical Logic
by
Anuj Mishra
(
7
points)

19
views
0
votes
1
answer
17
Gate zeal booklet
1)How to approach question no. 34,36
answered
Nov 9
in
Mathematical Logic
by
goxul
Active
(
4.2k
points)

33
views
zeal
booklet
0
votes
1
answer
18
Gate zeal booklet
How to write the last line of Qno. 19  irrespective of whether the system has been armed the alarm should go off when there is fire For Qno 20 I am getting iii) and iv) as true but answer is a) please check the 5th one
answered
Nov 9
in
Mathematical Logic
by
goxul
Active
(
4.2k
points)

24
views
zeal
booklet
0
votes
1
answer
19
GateZeal booklet
answer for this is A) My doubt is why D) can't be the answer
answered
Nov 9
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
23.6k
points)

15
views
zeal
booklet
0
votes
0
answers
20
Descrete math zeal booklet
Its answer is a) but here more(x,y) is given means it should be like this  x is more than y then isn't a) is wrong
asked
Nov 9
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

22
views
zeal
booklet
0
votes
0
answers
21
Gate zeal booklet
I am getting b) but right option is a) please check it
asked
Nov 9
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

16
views
zeal
booklet
0
votes
0
answers
22
Gate zeal booklet
Answer for this is a) but m getting d) as right option please check it
asked
Nov 9
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.4k
points)

13
views
zeal
booklet
+1
vote
1
answer
23
GATEBOOK2019DM11
Which of the following first order logic statement is equivalent to below statement? If anyone cheats, everyone suffers. $S_1 \forall x (\text{cheat}(x) \to \forall y \text{ suffer}(y))$ $S_2: \forall x\forall y (\text{cheat}(x) \to \text{ suffer}(y))$ Only S1 Only S2 Both S1 and S2 None
answered
Nov 9
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
23.6k
points)

54
views
gb2019dm1
firstorderlogic
discretemathematics
mathematicallogic
quantifiers
0
votes
0
answers
24
self doubt
Best book for probability in gate point of view. variety of question should be in this book. and the question should be gate type. please reply fast. thank you
asked
Nov 5
in
Mathematical Logic
by
iamdeepakji
(
117
points)

36
views
discretemathematics
+1
vote
0
answers
25
self doubt
there is a property implies in propositional logic i.e. > suppose p : he is honest , q : he is greedy ( anything u make according to u ) now p > q can be represented as 1) if p then q 2) if p,q 3) a sufficent condition for q is p 4) q ... . SO ANOTHER WAYS TO WRITE P> Q IF U HAVE ANY MORE THEN PLZZZ COMMENT AND PLZZZ ALSO TELL HOW R U IDENTIFYING THESE P AND Q
asked
Nov 5
in
Mathematical Logic
by
Deepanshu
Active
(
4.3k
points)

26
views
0
votes
0
answers
26
Self Doubt
If you do every problem in this book, then you will learn discrete mathematics. You learned discrete mathematics. Therefore, you did every problem in this book. The above argument is A Valid and Satisfiable B Valid but not satisfiable C Invalid D Tautology
asked
Nov 5
in
Mathematical Logic
by
manisha11
Active
(
1.2k
points)

26
views
discretemathematics
+14
votes
4
answers
27
GATE20011.3
Consider two wellformed formulas in propositional logic $F_1: P \Rightarrow \neg P$ $F_2: (P \Rightarrow \neg P) \lor ( \neg P \Rightarrow P)$ Which one of the following statements is correct? $F_1$ is satisfiable, $F_2$ is valid $F_1$ unsatisfiable, $F_2$ is satisfiable $F_1$ is unsatisfiable, $F_2$ is valid $F_1$ and $F_2$ are both satisfiable
answered
Nov 4
in
Mathematical Logic
by
skeltro
(
183
points)

1.8k
views
gate2001
mathematicallogic
easy
propositionallogic
+20
votes
7
answers
28
GATE2014153
Which one of the following propositional logic formulas is TRUE when exactly two of $p,q$ and $r$ are TRUE? $(( p \leftrightarrow q) \wedge r) \vee (p \wedge q \wedge \sim r)$ $( \sim (p \leftrightarrow q) \wedge r)\vee (p \wedge q \wedge \sim r)$ $( (p \to q) \wedge r) \vee (p \wedge q \wedge \sim r)$ $(\sim (p \leftrightarrow q) \wedge r) \wedge (p \wedge q \wedge \sim r) $
answered
Nov 4
in
Mathematical Logic
by
Himanshu Kumar 1
(
281
points)

2.4k
views
gate20141
mathematicallogic
normal
propositionallogic
0
votes
1
answer
29
#viral math
6÷2(1+2) = ?
answered
Nov 2
in
Mathematical Logic
by
Manas Mishra
Active
(
1.8k
points)

29
views
+16
votes
3
answers
30
TIFR2017B11
Given that $B(x)$ means "$x$ is a bat", $F(x)$ means "$x$ is a fly", and $E(x, y)$ means "x eats $y$", what is the best English translation of $$ \forall x(F(x) \rightarrow \forall y (E(y, x) \rightarrow B(y)))?$$ all flies eat bats every fly is eaten by some bat bats eat only flies every bat eats flies only bats eat flies
answered
Nov 1
in
Mathematical Logic
by
Dharmendra Lodhi
Active
(
2.6k
points)

650
views
tifr2017
firstorderlogic
0
votes
1
answer
31
SELF DOUBT
hows STAR graph bipitrate ??? please help with example . i am doing this by 2 coloring method but not getting any point.
answered
Nov 1
in
Mathematical Logic
by
Vishnathan
(
285
points)

32
views
discretemathematics
+1
vote
1
answer
32
GATEBOOK2019DM17
Which of the following propositional formulae is a tautology? $(\neg p \vee r ) \rightarrow (p \vee \neg r)$ $ \neg ( p \rightarrow (p \wedge q ))$ $ r \rightarrow ( p \wedge \neg r )$ $ ( p \leftrightarrow q ) \vee (p \leftrightarrow \neg q)$
answered
Nov 1
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
14.4k
points)

30
views
gb2019dm1
discretemathematics
propositionallogic
mathematicallogic
0
votes
1
answer
33
GATEBOOK2019DM120
A binary operator is defined as follows $P \Updownarrow Q = \sim P \wedge Q$ Which of the following statement is equivalent to $P \rightarrow Q $ $\sim P \Updownarrow Q$ $\sim( P \Updownarrow Q)$ $\sim( \sim P \Updownarrow Q)$ $\sim ( \sim P \Updownarrow \sim Q)$
answered
Oct 31
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
14.4k
points)

14
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
0
votes
1
answer
34
GATE 2003
plzz send exact solution
answered
Oct 31
in
Mathematical Logic
by
`JEET
Active
(
1.3k
points)

29
views
0
votes
0
answers
35
Engineering mathematics
What is is the best strategy or rather a productive strategy to learn mathematics part of GATE for 2019? Please share your experiences, resources used, tips and tricks. Thank You.
asked
Oct 31
in
Mathematical Logic
by
`JEET
Active
(
1.3k
points)

27
views
0
votes
0
answers
36
proposition logic
CONVERT IN TO LOGIC No one who loves some one is not loved by anyone lets S(x):x is somebody L(x,y):x loves y
asked
Oct 30
in
Mathematical Logic
by
Anurag Tiwari 1
(
249
points)

13
views
0
votes
0
answers
37
self doubt
isomorphism and planarity is removed from Gate CSE syllabus or not? please response as soon as possible. Thank you.
asked
Oct 30
in
Mathematical Logic
by
iamdeepakji
(
117
points)

26
views
discretemathematics
+1
vote
1
answer
38
Test_series
If an idempotent matrix is also SkewSymmetric then it must be a Null matrix an involuntary matrix an identity matrix Harmitian matrix
answered
Oct 30
in
Mathematical Logic
by
Prince Singh 1
(
55
points)

160
views
engineeringmathematics
matrices
0
votes
1
answer
39
linear algebra
if A is a nonsingular matrix and(IA+A^2...+(1)^n A^n)=0 then A^1=__________ 1) A^n 2)A^(n1) 3)(1)^n A^n1 4)(1)^(n1).A^n
answered
Oct 29
in
Mathematical Logic
by
kd.....
(
377
points)

13
views
0
votes
1
answer
40
self doubt
How much storage is needed to represent a simple graph with n vertices and m edges using a) adjacency lists? b) an adjacency matrix? c) an incidence matrix? Rosen_discrete_mathematics section 10.4 question 70. thankyou.
answered
Oct 29
in
Mathematical Logic
by
Soumya Tiwari
Active
(
1.3k
points)

9
views
discretemathematics
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
Lakshman Patel RJIT
vineeta pandey
Nishant Raj
Manas Mishra
adarsh_1997
Ashwani Yadav
Peeyush Pandey
Recent Posts
Basic LaTeX guide
IIT Madras Phd
Databases GO Classroom
Happy Birthday Sir Arjun
NIELIT EXAM DATE 2018
All categories
General Aptitude
1.4k
Engineering Mathematics
6.3k
Discrete Mathematics
4.4k
Mathematical Logic
1.7k
Set Theory & Algebra
1.1k
Combinatory
796
Graph Theory
723
Probability
883
Linear Algebra
598
Calculus
427
Digital Logic
2.4k
Programming & DS
4.4k
Algorithms
3.8k
Theory of Computation
4.8k
Compiler Design
1.8k
Operating System
3.5k
Databases
3.5k
CO & Architecture
3k
Computer Networks
3.5k
Non GATE
1.2k
Others
1.3k
Admissions
508
Exam Queries
491
Tier 1 Placement Questions
23
Job Queries
64
Projects
17
Follow @csegate
Gatecse
Recent questions and answers in Mathematical Logic
Recent Blog Comments
Sir for final year student who have exam in...
I guess you meant while chasing :) Anyway those...
I'll write a post on how to best...
@Gaurav Go through all the previous yr questions,...
42,573
questions
48,563
answers
155,431
comments
63,582
users