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 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
Discrete Maths and Its Applications, 7th Edition, Kenneth Rosen
1. Which of these sentences are propositions? What are the truth values of those that are propositions? a) Boston is the capital of Massachusetts. b) Miami is the capital of Florida. c) 2+3 = 5. d) 5+7 = 10. e) x +2 ... is answer for f) as I am thinking I can answer this question or I will not answer this question is it a proposition?
asked
4 days
ago
in
Mathematical Logic
by
Ravi kumar singh
Junior
(
893
points)

23
views
0
votes
1
answer
2
Linear algebra
The number of different n×n symmetric matrices with each element being 0 or 1 is
asked
4 days
ago
in
Mathematical Logic
by
Umang Tamrakar
(
7
points)

34
views

0
votes
1
answer
3
For All & There Exist property
is For All V is distributive on AND operator? 1 is ‘’there exist’’ is distributive over OR operator? 2 I have example in which this is true , but is true in general? so logically checking without using any property above four statements are correct. But is 1 and 2 always correct?
asked
5 days
ago
in
Mathematical Logic
by
mehul vaidya
Active
(
3k
points)

30
views
0
votes
1
answer
4
Permutation and Combination
The total number of ways in which 5 balls of different color can be distributed among 3 persons so that each person gets at least one ball is:
asked
6 days
ago
in
Mathematical Logic
by
Rackson
Active
(
1.8k
points)

56
views
permutationsandcombinations
0
votes
1
answer
5
Rosen ch1 Ex.1.6 Q10.b
What are relevant conclusion and explain rule of inference used ? "If i work ,it is either Sunny or partly sunny." " I worked last Monday or i worked last friday." " It was not Sunny on Tuesday."" It was not partly sunny on Friday "
asked
Feb 12
in
Mathematical Logic
by
Ankit Jaiswal
(
7
points)

20
views
kennethrosen
0
votes
0
answers
6
Kenneth Rosen Ex.1.3 Q.37
Express each of these statements using predicates and quantifiers. a) A passenger on an airline qualifies as an elite flyer if the passenger flies more than 25,000 miles in a year or takes more than 25 flights during that year.
asked
Feb 10
in
Mathematical Logic
by
himgta
Active
(
3.6k
points)

28
views
0
votes
0
answers
7
#DiscreteMathematics #Rosen #BinomialTheorem
$\sum_{k=0}^{\propto }\left ( \sum_{j=0}^{k}1 \right )x^{k} = \sum_{k=0}^{\propto}(k+1)x^{k}$ How LHS=RHS here?
asked
Feb 8
in
Mathematical Logic
by
Reshu $ingh
(
329
points)

47
views
discretemathematics
0
votes
1
answer
8
#Basic #DiscreteMathematics #KennethRosen
Suppose that there are 9 faculty members in the mathematics department and 11 in the computer science department. How many ways are there to select a committee to develop a discrete mathematics course at a school if the committee is to consist of ... use Sum rule. How to decide on Product rule or Sum rule? Please use some basic example for both the cases.
asked
Feb 7
in
Mathematical Logic
by
Reshu $ingh
(
329
points)

134
views
discretemathematics
+2
votes
5
answers
9
GATE201935
Consider the first order predicate formula $\phi$: $\forall x [ ( \forall z \: z \mid x \Rightarrow (( z=x) \vee (z=1))) \rightarrow \exists w ( w > x) \wedge (\forall z \: z \mid w \Rightarrow ((w=z) \vee (z=1)))]$ Here $a \mid b$ denotes ... S2: Set of all positive integers S3: Set of all integers Which of the above sets satisfy $\phi$? S1 and S2 S1 and S3 S2 and S3 S1, S2 and S3
asked
Feb 7
in
Mathematical Logic
by
Arjun
Veteran
(
384k
points)

1.9k
views
gate2019
engineeringmathematics
discretemathematics
mathematicallogic
0
votes
2
answers
10
#DiscreteMathematics #Rosen
“For every person x, if person x is a student in this class then x has studied Calculus.” S(x):Person x in the class C(x):x has studied Calculus. 1.$\vartheta _{x} (S(x) > C(x))$ 2.$\vartheta _{x} (S(x) \Lambda C(x))$ Which one should hold? Why and why not?
asked
Feb 7
in
Mathematical Logic
by
Reshu $ingh
(
329
points)

62
views
discretemathematics
0
votes
1
answer
11
Gate CS 2019
S1=Matrix is Invertible S2=Determinant of matrix is Nonzero What is the Answer..
asked
Feb 5
in
Mathematical Logic
by
rhtsya
(
51
points)

252
views
0
votes
1
answer
12
GATE 2019
SOLVE: 2^32 mod 5
asked
Feb 5
in
Mathematical Logic
by
IITB2020
(
189
points)

230
views
0
votes
1
answer
13
gate 2019
What is the answer for the predicate logic question,in which a formula was given and asked to find the sets satisying it?
asked
Feb 4
in
Mathematical Logic
by
sai charan chakrala
(
265
points)

187
views
0
votes
1
answer
14
Gate cse 2109
What is the answer for question based on predicate logic ?
asked
Feb 4
in
Mathematical Logic
by
Mounikap
(
227
points)

202
views
0
votes
1
answer
15
gate 2019
Y is distributed uniformly in [1,6] 3x^2+6xY+3Y+6=0 P(Y) for 2 real roots ?
asked
Feb 4
in
Mathematical Logic
by
jatin khachane 1
Loyal
(
6.4k
points)

407
views
0
votes
0
answers
16
Fundamentals of Discrete Mathematics
Write the symbolic form? “If the utility cost goes up or the request for the additional funding is denied then a new computer will be purchased if and only if we can show that the current computing facilities are indeed not adequate.”
asked
Feb 4
in
Mathematical Logic
by
tourist44
(
7
points)

58
views
discretemathematics
propositionallogic
0
votes
1
answer
17
#GeneralMathematics
How to calculate modulus of an exponential number?
asked
Feb 3
in
Mathematical Logic
by
Reshu $ingh
(
329
points)

211
views
#maths
0
votes
0
answers
18
gate 2019
asked
Feb 3
in
Mathematical Logic
by
pream sagar
Active
(
1.7k
points)

344
views
0
votes
0
answers
19
PROPOSITIONAL LOGIC
Which of the following can be mapped to formulas in propositional logic? Consider John has X' as one atomic sentence, and a compound sentence can be broken into equivalent simple sentences. John has a red hat. John has a red hat and a red jacket. If John has a red ... hat too. John has either a red jacket or a red hat. John either has a red hat or a red jacket but not both.
asked
Jan 30
in
Mathematical Logic
by
srajkumar
(
9
points)

163
views
0
votes
0
answers
20
predicate logic doubt
1) IS P → Q ≡ Q → P Satisfiable Or NOT?
asked
Jan 30
in
Mathematical Logic
by
srajkumar
(
9
points)

41
views
0
votes
1
answer
21
test series
The answer given is 1.5 (they are using L'Hospital Rule) But mine is 1 [ (e^x1)/x=1 And Log(1+x)/x = 1] Both looks but the answer is different please verify which one is correct. ASAP
asked
Jan 29
in
Mathematical Logic
by
saif
(
427
points)

65
views
+1
vote
2
answers
22
madeeasy
Q.The number of ways, we can arrange 5 books in 3 shelves ________.
asked
Jan 28
in
Mathematical Logic
by
Badayayash
Junior
(
879
points)

288
views
madeeasytestseries
engineeringmathematics
0
votes
0
answers
23
#DiscreteMathematics
Every satisfiable propositional formula is not tautology. True/False
asked
Jan 28
in
Mathematical Logic
by
Reshu $ingh
(
329
points)

69
views
tautology
discretemathematics
propositionallogic
0
votes
1
answer
24
Self doubt
What is the difference between Mutually exclusive event and independent event.?? Please explain, someone ASAP
asked
Jan 28
in
Mathematical Logic
by
saif
(
427
points)

40
views
0
votes
0
answers
25
Testbook.com
Let f be a function from A to B and f 1 exist. Let S and T be subsets of B. Which of the following is true? 1. f 1 (S ∪ T) = f 1 (S) ∪ f 1 (T) 2. f 1 (S ∩ T) = f 1 (S) ∩ f 1 (T)
asked
Jan 27
in
Mathematical Logic
by
Rishav Chetan
(
41
points)

20
views
settheory&algebra
0
votes
0
answers
26
Made Easy
Can anyone explain in easy way
asked
Jan 27
in
Mathematical Logic
by
iamdeepakji
(
227
points)

22
views
discretemathematics
0
votes
1
answer
27
Madeeasy
Let Q denote the set of rational numbers and S = {x  x belongs N ; N; x>=10} Consider the Following POSETs I. (Q ∩ [0, 1], ≤) II. (S, ≤) Which of the above POSETs are well ordered?
asked
Jan 26
in
Mathematical Logic
by
Badayayash
Junior
(
879
points)

97
views
madeeasytestseries
0
votes
0
answers
28
indistinguishable objects distinguishable boxes
how to know when to apply which case for : indistinguishable object indistinguishable boxes. Example 12 balls are distributed at random among three boxes.The probability that the first box will contain three balls is_____. Example  number of ways we can arrange 5 books in 3 shelves.
asked
Jan 25
in
Mathematical Logic
by
bts1jimin
(
245
points)

29
views
counting
0
votes
0
answers
29
ME FLT
Consider the following statements with respect to POSETs. I. Every non empty, finite POSET has at least one maximal and at least one minimal element. II. Every POSET has at most one greatest element and at most one least element. Which of the above statement(s) is/are true?
asked
Jan 25
in
Mathematical Logic
by
balchandar reddy san
Active
(
2.7k
points)

20
views
discretemathematics
0
votes
0
answers
30
geeksforgeeks
Let S(x) be the predicate "x is a student",T(x) be the predicate "x is a teacher"and Q(x,y) be the predicate "x has asked y a question" where the domain consists of all people associated with the school. Use quantifiers to express the statement. "Some student ... ∀x∃y ( ( S(x) ∧ T(y) ) → Q(y,x) ) [ ¬P v Q = P→Q ] None of the options are matching .
asked
Jan 23
in
Mathematical Logic
by
Ashish Goyal
(
337
points)

20
views
propositionallogic
quantifiers
Page:
1
2
3
4
5
6
...
64
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
Official keys are out now.
JEST 2019 MEMORY BASED QUESTION PAPER
Relax... But....
Barc : Arjun Sir
JEST Sample Question
All categories
General Aptitude
1.5k
Engineering Mathematics
7.1k
Discrete Mathematics
4.9k
Mathematical Logic
1.9k
Set Theory & Algebra
1.3k
Combinatory
873
Graph Theory
802
Probability
1k
Linear Algebra
691
Calculus
491
Digital Logic
2.7k
Programming & DS
4.9k
Algorithms
4.2k
Theory of Computation
5.3k
Compiler Design
2.1k
Operating System
4k
Databases
4k
CO & Architecture
3.5k
Computer Networks
4k
Non GATE
1.4k
Others
1.5k
Admissions
558
Exam Queries
553
Tier 1 Placement Questions
23
Job Queries
69
Projects
18
Follow @csegate
Recent questions in Mathematical Logic
Recent Blog Comments
Where can I find the solutions to these questions...
very much helpful to the future aspirants, thanks...
Yeah the Answer for the question no.50 is given...
Only one question that is "no.of NOR gates"...
47,906
questions
52,286
answers
182,222
comments
67,722
users