The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
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
0
answers
1
total number of spanning tree
[closed]
asked
Jun 10
in
Mathematical Logic
by
Sanjay Sharma
Boss
(
47.1k
points)

41
views
0
votes
1
answer
2
Mathematical Logic Ques:Self doubt
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$ or $2)\sim \left ( \forall S(x)\vee V(x) \right )$ Among $1)$ and $2)$, which one is correct? and why?
asked
Jun 4
in
Mathematical Logic
by
srestha
Veteran
(
111k
points)

66
views
discretemathematics
mathematicallogic
0
votes
1
answer
3
Doubt on GATE Question
Read the statements: All women are entrepreneurs. Some women are doctors. Which of the following conclusions can be logically inferred from the above statements? All women are doctors All doctors are entrepreneurs All entrepreneurs are women Some entrepreneurs are doctors ... Is it because , if we make set of doctor as 0, then All doctors are entrepreneurs is meaningless.
asked
Jun 1
in
Mathematical Logic
by
srestha
Veteran
(
111k
points)

25
views
discretemathematics
mathematicallogic
+1
vote
1
answer
4
Mathematical Logic: Doubt on meaning of statement
The notation $\exists ! x P(x)$ denotes the proposition there exists a unique $x$ such that $P(x)$ ... What will be answer here?? Is the assumption only for left hand side and not right hand side??
asked
May 31
in
Mathematical Logic
by
srestha
Veteran
(
111k
points)

53
views
mathematicallogic
discretemathematics
0
votes
0
answers
5
Descrete Mathematic ACE Text Book Practice Question #16
A women's health clinic has four doctors and each patient is assigned to one of them. If a patient givs birth btween 8 am and 4 pm, then her chance of being attended by her assigned doctor is 3/4, otherwise it is 1/4. What is the probability that ... is attended by the assigned doctor when she gives birth? (A) 25/144 (B) 5/12 (C) 7/12 (D) 1/12
[closed]
asked
May 30
in
Mathematical Logic
by
JAYKISHAN
(
83
points)

46
views
probability
acebooklet
0
votes
1
answer
6
Proposition Logic Question
Are these propositions? 1.This sentence is true 2.This sentence is false Aren’t these liar paradox?
asked
May 30
in
Mathematical Logic
by
Reshu $ingh
(
253
points)

89
views
mathematicallogic
propositionallogic
discretemathematics
0
votes
0
answers
7
Self DoubtLA
In a nonhomogeneous equation Ax = b, x has a unique solution when $A^{1}$ exists i.e x = $A^{1}$b but when det(A) = 0 then we have infinite solution or many solution. please give a mathematical explanation of how the 2nd statement occurs?
asked
May 26
in
Mathematical Logic
by
MRINMOY_HALDER
Active
(
1.2k
points)

30
views
linearalgebra
systemofequations
+1
vote
0
answers
8
Self Doubt:Mathematical Logic
Represent these two statement in first order logic: $A)$ Only Alligators eat humans $B)$ Every Alligator eats humans Is Every represents $\equiv \exists$ and Only represents $\equiv \forall$ ?? Can we differentiate it with verb ‘eat’ and ‘eats’??
asked
May 18
in
Mathematical Logic
by
srestha
Veteran
(
111k
points)

35
views
discretemathematics
mathematicallogic
firstorderlogic
0
votes
0
answers
9
self doubt consistency and satisfiability
how can we link consistency and satisfiability ? are they bidirectional? plz help
asked
May 10
in
Mathematical Logic
by
Manoj Kumar Pandey
(
141
points)

16
views
consistency
satisfiability
0
votes
0
answers
10
Discrete mathematics and its application 7th ed  Kenneth H. Rosen
Do i have to study the whole chapter Logics and Proofs in Discrete mathematics and its applications by Kenneth H. Rosen if not upto which portion should i study.
asked
May 1
in
Mathematical Logic
by
souren
(
37
points)

38
views
discretemathematics
mathematicallogic
0
votes
0
answers
11
Made Easy Test Series:Discrete MathMathematical Logic
Consider the following first order logic statement $I)\forall x\forall yP\left ( x,y \right )$ $II)\forall x\exists yP\left ( x,y \right )$ $III)\exists x\exists yP\left ( x,y \right )$ $III)\exists x\forall yP\left ( x,y \right )$ Which one ... true , then $III),IV)$ is true $B)$ If $IV)$ is true , then $II),III)$ is true $C)$ None of these
asked
Apr 27
in
Mathematical Logic
by
srestha
Veteran
(
111k
points)

38
views
mathematicallogic
discretemathematics
madeeasytestseries
0
votes
1
answer
12
self doubt about maths practice
Where can i find only maths PYQ all branches . for practice ?
asked
Apr 26
in
Mathematical Logic
by
paraskk
(
163
points)

29
views
0
votes
0
answers
13
Discrete Mathematics [Self Doubt]
Is this statement valid: $(\exists x(P(x)\rightarrow Q(x)) )\rightarrow (\exists xP(x)\rightarrow \exists xQ(x))$
asked
Apr 14
in
Mathematical Logic
by
GATE_aspirant_2021
(
23
points)

37
views
firstorderlogic
0
votes
0
answers
14
GATE 1992
How is option (a) correct? Isn’t Universal quantifier not distributive over union/disjunction. Source: https://cse.buffalo.edu/~rapaport/191/distqfroverandor.html
[closed]
asked
Apr 14
in
Mathematical Logic
by
kaveeshnyk
(
37
points)

26
views
discretemathematics
firstorderlogic
0
votes
0
answers
15
linear programming
asked
Apr 12
in
Mathematical Logic
by
shruti gupta1
(
393
points)

16
views
0
votes
0
answers
16
Kenneth Rosen Edition 7th Exercise 2.3 Question 51 (Page No. 154)
Show that if $x$ is a real number and $n$ is an integer, then $x<n$ if and only if $\left \lfloor x \right \rfloor < n$ $n<x$ if and only if $ n<=\left \lfloor x \right \rfloor $
asked
Apr 9
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

32
views
kennethrosen
discretemathematics
settheory&algebra
0
votes
0
answers
17
Kenneth Rosen Edition 7th Exercise 2.3 Question 11 (Page No. 153)
Determine whether each of these functions form $[a,b,c,d]$ to itself is onto? $f(a)=b, f(b)=a,f(c)=c,f(d)=d$ $f(a)=b, f(b)=b,f(c)=d,f(d)=c$ $f(a)=d, f(b)=b,f(c)=c,f(d)=d$
asked
Apr 9
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

18
views
kennethrosen
discretemathematics
settheory&algebra
0
votes
0
answers
18
Kenneth Rosen Edition 7th Exercise 2.1 Question 16 (Page No. 126)
Use a Venn diagram to illustrate the relationships $A \subset B$ and $ A \subset C.$
asked
Apr 5
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

5
views
kennethrosen
discretemathematics
settheory&algebra
+1
vote
1
answer
19
Kenneth Rosen Edition 7th Exercise 2.1 Question 9 (Page No. 125)
Determine whether each of these statements is true or false. $0$ $ \epsilon$ $\phi$ $\phi$ $\epsilon$ {$0$} {$0$} $ \subset$ {$ \phi$} $\phi$ $\subset$ {$0$} {$0$} $\epsilon$ {$0$} {$0$} $\subset$ {$0$} {$\phi$} $\subseteq$ {$\phi$}
asked
Apr 5
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

28
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
20
DDA Direct Recruitment 2019  Asst. System Director
Which of the following gives the predicate logic representation of the sentence Ram was a man ? Ram $\rightarrow$ man $\forall x:$ Ram (x) $\rightarrow$ man (x) Man (Ram) Man $\rightarrow$ Ram I have marked option ... I want to raise an objection to this answer. Kindly provide a reliable source which confirms the correct answer for this question.
asked
Apr 5
in
Mathematical Logic
by
zeeshanmohnavi
Junior
(
833
points)

69
views
propositionallogic
discretemathematics
0
votes
0
answers
21
Kenneth Rosen Edition 7th Exercise 1.7 Question 42 (Page No. 92)
Prove that these four statements about the integer $n$ are equivalent: $n^2$is odd, $1−n$ is even, $n^3$ is odd, $n^2+1$ is even.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

20
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
22
Kenneth Rosen Edition 7th Exercise 1.7 Question 41 (Page No. 92)
Prove that if $n$ is an integer, these four statements are equivalent: $n$ is even, $n+1$ is odd, $3n+1$isodd, $3n$ is even.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

10
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
23
Kenneth Rosen Edition 7th Exercise 1.7 Question 39 (Page No. 92)
Prove that at least one of the real numbers $a_1,a_2,...,a_n$ is greater than or equal to the average of these numbers.What kind of proof did you use?
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

12
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
24
Kenneth Rosen Edition 7th Exercise 1.7 Question 38 (Page No. 92)
Find a counterexample to the statement that every positive integer can be written as the sum of the squares of three integers
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

10
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
25
Kenneth Rosen Edition 7th Exercise 1.7 Question 37 (Page No. 91)
Show that the propositions $p1,p2,p3,p4,$ and $p5$ can be shown to be equivalent by proving that the conditional statements $p1 \rightarrow p4$ , $p3 \rightarrow p1$ ,$p4 \rightarrow p2$ ,$p2 \rightarrow p5$, and $p5 \rightarrow p3$ are true.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

17
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
26
Kenneth Rosen Edition 7th Exercise 1.7 Question 36 (Page No. 91)
Show that the propositions $p1,p2,p3$, and $p4$can be shown to be equivalent by showing that $p1 \leftrightarrow p4,p2 \leftrightarrow p3$, and $p1 \leftrightarrow p3$.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

10
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
27
Kenneth Rosen Edition 7th Exercise 1.7 Question 35 (Page No. 91)
Are these steps for finding the solutions of $\sqrt{x+3=3−x}$ correct? $\sqrt{x+3=3−x}$ is given; $x+3=x2−6x+9$, obtained by squaring both sides of(1); $0=x2−7x+6$, obtained by subtracting $x+3$ from both sides of(2); $0=(x−1)(x−6)$, ... hand side of(3); $x=1$ or $x=6$,which follows from(4) because $ab=0$ implies that $a=0$ or $b=0$.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

21
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
28
Kenneth Rosen Edition 7th Exercise 1.7 Question 34 (Page No. 91)
Is this reasoning for finding the solutions of the equation $\sqrt{2x^2−1=x}$ correct? $\sqrt{2x^2−1=x}$ is given; $2x^2−1=x^2$, obtained by squaring both sides of (1); $x^2−1=0$, obtained by subtracting $x^2$from both sides of (2); ... lefthand side of$x^2−1$; $x=1$ or $x=−1$,which follows because $ab=0$ implies that $a=0$ or $b=0$
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

11
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
29
Kenneth Rosen Edition 7th Exercise 1.7 Question 33 (Page No. 91)
Show that these statements about the real number $x$ are equivalent: $x$ is irrational, $3x+2$ is irrational, $x/2$ is irrational.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

9
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
30
Kenneth Rosen Edition 7th Exercise 1.7 Question 32 (Page No. 91)
Show that these statements about the real number $x$ are equivalent: $x$ is rational, $x/2$ is rational, $3x−1$ is rational.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.7k
points)

8
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
Page:
1
2
3
4
5
6
...
69
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
The day that made me an IIScian :)
Unanswered Previous year GATE/TIFR questions
From being a Failure to getting into IISc  (Rank 888, Score 692)
My interview experience at IITs/IISc
IIT Delhi CSE Mtech interview 14 may
All categories
General Aptitude
1.8k
Engineering Mathematics
7.3k
Discrete Mathematics
5.1k
Mathematical Logic
2.1k
Set Theory & Algebra
1.3k
Combinatory
874
Graph Theory
803
Probability
992
Linear Algebra
689
Calculus
488
Digital Logic
2.9k
Programming & DS
4.9k
Algorithms
4.3k
Theory of Computation
6k
Compiler Design
2.1k
Operating System
4.2k
Databases
4.1k
CO & Architecture
3.4k
Computer Networks
4.1k
Non GATE
1.4k
Others
1.4k
Admissions
596
Exam Queries
577
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent questions in Mathematical Logic
Recent Blog Comments
@Debargh, Yes. 👍
Thanks. Regarding the probability question, was...
Thanks
What were the Eigen values of A apart from 0? I...
49,540
questions
54,099
answers
187,268
comments
71,006
users