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.
Recent questions and answers in Mathematical Logic
+2
votes
1
answer
1
Propositional logic
Both are valid right?
answered
1 day
ago
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

40
views
propositionallogic
+11
votes
4
answers
2
GATE1993_8.2
The proposition $p \wedge (\sim p \vee q)$ is: a tautology logically equivalent to $p \wedge q$ logically equivalent to $p \vee q$ a contradiction none of the above
answered
3 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

525
views
gate1993
mathematicallogic
easy
propositionallogic
0
votes
0
answers
3
Self Doubt
Q) What would be the execution order of the below statement? A⟹B⟹C
asked
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

47
views
discretemathematics
+16
votes
10
answers
4
GATE2014353
The CORRECT formula for the sentence, "not all Rainy days are Cold" is $\forall d (\text{Rainy}(d) \wedge \text{~Cold}(d))$ $\forall d ( \text{~Rainy}(d) \to \text{Cold}(d))$ $\exists d(\text{~Rainy}(d) \to \text{Cold}(d))$ $\exists d(\text{Rainy}(d) \wedge \text{~Cold}(d))$
answered
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

1.1k
views
gate20143
mathematicallogic
easy
firstorderlogic
+13
votes
5
answers
5
GATE201411
Consider the statement "Not all that glitters is gold Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if x is gold. Which one of the following logical formulae represents the above statement? $\forall x: glitters (x)\ ... x)$ $\exists x: gold(x)\wedge \neg glitters(x)$ $\exists x: glitters(x)\wedge \neg gold(x)$
answered
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

852
views
gate20141
mathematicallogic
firstorderlogic
+21
votes
5
answers
6
GATE2013_27
What is the logical translation of the following statement? "None of my friends are perfect." (A) $∃x(F (x)∧ ¬P(x))$ (B) $∃ x(¬ F (x)∧ P(x))$ (C)$ ∃x(¬F (x)∧¬P(x))$ (D)$ ¬∃ x(F (x)∧ P(x))$
answered
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

1.8k
views
gate2013
mathematicallogic
easy
firstorderlogic
+13
votes
3
answers
7
GATE2012_13
What is the correct translation of the following statement into mathematical logic? “Some real numbers are rational” (A) $\exists x (real(x) \lor rational(x))$ (B) $\forall x (real(x) \to rational(x))$ (C) $\exists x (real(x) \wedge rational(x))$ (D) $\exists x (rational(x) \to real(x))$
answered
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

845
views
gate2012
mathematicallogic
easy
firstorderlogic
+14
votes
5
answers
8
GATE200926
Consider the following wellformed formulae: $\neg \forall x(P(x))$ $\neg \exists x(P(x))$ $\neg \exists x(\neg P(x))$ $\exists x(\neg P(x))$ Which of the above are equivalent? I and III I and IV II and III II and IV
answered
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

651
views
gate2009
mathematicallogic
normal
firstorderlogic
+17
votes
4
answers
9
GATE200923
Which one of the following is the most appropriate logical formula to represent the statement? "Gold and silver ornaments are precious". The following notations are used: $G(x): x$ is a gold ornament $S(x): x$ is a silver ornament $P(x): x$ is precious $\forall x(P(x ... (G(x) \wedge S(x)) \implies P(x))$ $\forall x((G(x) \vee S(x)) \implies P(x))$
answered
5 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

977
views
gate2009
mathematicallogic
easy
firstorderlogic
0
votes
1
answer
10
Rosen Example 27
Q)Consider these statements, of which the first three are and fourth is a valid conclusion. "All hummingbirds are richly colored." "No large birds live on honey." "Birds that do not live on honey are dull in color" "Hummingbirds are small." Express using quantifiers??
answered
6 days
ago
in
Mathematical Logic
by
Mamta Satywali
Junior
(
631
points)

34
views
predicatelogic
kennethrosen
0
votes
0
answers
11
Rosen Example 25
Q) Use predicates and quantifiers to express the system specification "Every mail message larger than one megabyte will be compressed" and "If a user is active, at least one network link will be available."
[closed]
asked
6 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
6.7k
points)

38
views
kennethrosen
predicatelogic
+4
votes
3
answers
12
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 ... 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
answered
Feb 15
in
Mathematical Logic
by
Sachin Mittal 1
Veteran
(
15.5k
points)

1.4k
views
gate2018
mathematicallogic
normal
+5
votes
5
answers
13
GATE20181
Which one of the following is a closed form expression for the generating function of the sequence $\{a_n\}$, where $a_n = 2n +3 \text{ for all } n=0, 1, 2, \dots$? $\frac{3}{(1x)^2}$ $\frac{3x}{(1x)^2}$ $\frac{2x}{(1x)^2}$ $\frac{3x}{(1x)^2}$
answered
Feb 13
in
Set Theory & Algebra
by
Pinaki Dash
Active
(
1.5k
points)

1.2k
views
gate2018
generatingfunctions
normal
+1
vote
0
answers
14
gate 2018
Consider the matrix P whose only Eigen vectors are the multiples of (1 4). Consider the following statements I. P does not have an inverse II. P has a repeated Eigen value. III. P cannot be diagonalized Which of the following Option is Correct?
asked
Feb 13
in
Mathematical Logic
by
Suryakant
(
51
points)

95
views
0
votes
1
answer
15
Self doubt
Let P(x) be the statement x spends more than five hours every weekday in class, where the domain for x consists of all students. Express each of these quantification in English. a) ∃xP(x) b) ∀xP(x) c) ∃x ¬P(x) d) ∀x ¬P(x) ... than 5 hours every weekday in class d) Every Student don't spend more than 5 hours every weekday in class Did all these are correct
answered
Feb 13
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

25
views
0
votes
2
answers
16
Circular single linked list conceptual
answered
Feb 12
in
Mathematical Logic
by
smsubham
Boss
(
5.6k
points)

44
views
linkedlists
0
votes
2
answers
17
self doubt
Every student in this class has studied calculus If S(x) represents the statement that person x is in this class, C(x) which is the statement x has studied calculus. we see that our statement can beexpressed as ∀x(S(x) → C(x) ) Some student in this ... (x) ∧ M(x)) In 1st example Implication is taken Why in 2nd Example and is taken why not S(x) >M(x)
answered
Feb 12
in
Mathematical Logic
by
a trip
(
171
points)

28
views
0
votes
1
answer
18
Rosen Rules of Inference
Can someone please explain the highlighted text?
answered
Feb 12
in
Mathematical Logic
by
Lakshay Kakkar
Junior
(
543
points)

48
views
mathematicallogic
valid
0
votes
1
answer
19
Mathematical Logic
All Tautologies are valid and all Valid arguments are tautologies True/ False
answered
Feb 12
in
Mathematical Logic
by
Lakshay Kakkar
Junior
(
543
points)

35
views
mathematicallogic
discretemathematics
0
votes
1
answer
20
Test series
Plz explain ? How to solve such que. As I have solved this type of que earlier but when I am doing revision I am not able to do it. So plz provide some good explanation..
answered
Feb 10
in
Mathematical Logic
by
None ...
(
49
points)

45
views
0
votes
1
answer
21
Classification of compound propositions
answered
Feb 10
in
Mathematical Logic
by
Angkit
Loyal
(
3.2k
points)

51
views
propositionallogic
+2
votes
1
answer
22
Contingency or Not ?
~ $\forall$ x [ P(x) > (Q(x) v P(x) ) ]
answered
Feb 9
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

88
views
propositionallogic
mathematicallogic
0
votes
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
(
7.1k
points)

41
views
mathematicallogic
quantifiers
0
votes
1
answer
24
Graph theory
If N=(0,1,2,3 ....) , then (N,+) is a Group. If N=(1,2,3 ....) , then (N,+) is a not Group. Which one to consider in exam ?
answered
Feb 7
in
Mathematical Logic
by
shashanksingh
(
117
points)

88
views
graphtheory
discretemathematics
0
votes
1
answer
25
doubt
why value of 0! = 1
answered
Feb 6
in
Mathematical Logic
by
Salazar
Junior
(
853
points)

1.1k
views
+1
vote
3
answers
26
general aptitude gate 2018
If ther area of square is d , then what is the area of circle that passes through diagonal of square . having diagonal as its diameter
answered
Feb 5
in
Mathematical Logic
by
Prateek Thakral
(
211
points)

831
views
+1
vote
1
answer
27
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 ... is not happy, then Asha did not get a necklace and Arun did not get a Tshirt. (d) None of the above.
answered
Feb 5
in
Mathematical Logic
by
Rishabh Gupta 2
Veteran
(
15.4k
points)

64
views
mathematicallogic
cmi2017
0
votes
0
answers
28
Rational number are contable..function (0,1)(N) countable..what is solution?
asked
Feb 5
in
Mathematical Logic
by
sunnykg
(
25
points)

226
views
+3
votes
5
answers
29
GATE201815
Two people, P and Q, decide to independently roll two identical dice, each with 6 faces, numbered 1 to 6. The person with the lower number wins. In case of a tie, they roll the dice repeatedly until there is no tie. Define a ... that all trials are independent. THe probability (rounded to 3 decimal places) that one of them wins on the third trial is ____
answered
Feb 5
in
Probability
by
Prashant Kumar 4
Active
(
1.1k
points)

915
views
gate2018
probability
normal
numericalanswers
+1
vote
4
answers
30
GATE201819
Let $G$ be a finite group on 84 elements. The size of a largest possible proper subgroup of $G$ is _____
answered
Feb 5
in
Set Theory & Algebra
by
Prashant Kumar 4
Active
(
1.1k
points)

1k
views
gate2018
groups
numericalanswers
0
votes
0
answers
31
GATE 2018
What is the answer?
asked
Feb 4
in
Mathematical Logic
by
Abhi Girin
Junior
(
667
points)

610
views
propositionallogic
gate
+1
vote
6
answers
32
GATE201816
The value of $\int^{\pi/4} _0 x \cos(x^2) dx$ correct to three decimal places (assuming that $\pi = 3.14$) is ____
answered
Feb 4
in
Calculus
by
prateekkmr60
Active
(
1.2k
points)

1.1k
views
gate2018
calculus
integration
normal
numericalanswers
+3
votes
5
answers
33
GATE2018GA8
In a party, $60\%$ of the invited guests are male and $40\%$ are female.If $80\%$ of the invited guests attended the party and if all the invited female guests attended, what would be the ratio of males to females among the attendees in the party? $2\colon 3$ $1\colon 1$ $3\colon 2$ $2\colon 1$
answered
Feb 4
in
Numerical Ability
by
dm4006
Active
(
1.1k
points)

569
views
gate2018
numericalability
ratiopropotions
0
votes
0
answers
34
gate 2018
asked
Feb 4
in
Mathematical Logic
by
ADITYA CHAURASIYA 5
Active
(
1.7k
points)

337
views
0
votes
1
answer
35
GATE ME 2018
Circle, square & equilateral triangle have same perimeter. Which will have maximum area???
answered
Feb 4
in
Mathematical Logic
by
Digvijay Pandey
Veteran
(
53.7k
points)

239
views
gate2018
+1
vote
1
answer
36
solve for x
$(x+1)^{log_{10}x+1 } = 100(x+1)$
answered
Feb 3
in
Mathematical Logic
by
akshat sharma
Active
(
1.1k
points)

70
views
+1
vote
0
answers
37
solve for x
solve for x $3^{log^2_{3} x }$ + $x^{log_{3} x }$ = 162
[closed]
asked
Feb 3
in
Mathematical Logic
by
sumit goyal 1
Veteran
(
14.7k
points)

34
views
logarithms
0
votes
1
answer
38
UGC NET NOV 2017 PAPER III Q57
answered
Feb 2
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
7.1k
points)

71
views
ugcnetnov2017iii
0
votes
1
answer
39
UGC NET NOV 2017 PAPER III Q59
answered
Feb 2
in
Mathematical Logic
by
Raveena Yadav 1
Junior
(
775
points)

32
views
ugcnetnov2017iii
0
votes
1
answer
40
UGC NET NOV 2017 PAPER III Q58
answered
Feb 2
in
Mathematical Logic
by
Raveena Yadav 1
Junior
(
775
points)

36
views
ugcnetnov2017iii
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
akash.dinkar12
Subhrosmita Paul
ankitgupta.1729
Villain in glasses
learner_geek
Mk Utkarsh
Lakshman Patel RJIT
Ahwan
Tarun kushwaha 1
Neha_16
Recent Posts
isro sc 2017 2nd paper
Which college to expect?
Interview Guidance
CDAC CoursesAugust session
Counselling...
All categories
General Aptitude
1.2k
Engineering Mathematics
4.7k
Discrete Mathematics
3.3k
Mathematical Logic
1.3k
Set Theory & Algebra
872
Combinatory
584
Graph Theory
555
Probability
600
Linear Algebra
473
Calculus
359
Digital Logic
1.9k
Programming & DS
3.5k
Algorithms
3k
Theory of Computation
3.7k
Compiler Design
1.5k
Operating System
2.7k
Databases
2.8k
CO & Architecture
2.5k
Computer Networks
2.9k
Non GATE
837
Others
1.2k
Admissions
285
Exam Queries
398
Tier 1 Placement Questions
17
Job Queries
51
Projects
7
Follow @csegate
Gatecse
Recent questions and answers in Mathematical Logic
Recent Blog Comments
Sir , pls guide us how to prepare for the ...
Sir in Indian edition it is present
Okay Thanks
i think they call everyone ith a score higher ...
@raviyogi Do you know what was the cutoff ot IIT ...
33,720
questions
40,265
answers
114,393
comments
38,904
users