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 tagged discretemathematics
0
votes
0
answers
1
Allen Career Institute: Discrete Mathematics
A certain software was being tested by using error seeding strategy in which $22$ errors were seeded. $14$ of seeded errors were detected apart from $140$ unseeded errors when the code was tested using the complete test suit. Calculate the estimated no. of undetected errors in the code after complete testing _____
asked
2 days
ago
in
Combinatory
by
srestha
Veteran
(
109k
points)

9
views
discretemathematics
permutationsandcombinations
0
votes
0
answers
2
Discrete mathematics
If adjacency matrix of 2 graphs are same, then can we say that those 2 graphs are isomorphic?
asked
2 days
ago
in
GATE Application
by
Ritabrata Dey
(
27
points)

11
views
#selfdoubt
discretemathematics
0
votes
0
answers
3
Discrete Mathematics
I doubt Whether (a,b)R(b,c) is symmetric or antisymmetric or reflexive relation And how to approach this type of sums?
asked
3 days
ago
in
GATE Application
by
Ritabrata Dey
(
27
points)

12
views
#selfdoubt
#discrete
discretemathematics
0
votes
0
answers
4
Kenneth Rosen Edition 7th Exercise 1.7 Question (Page No. 91)
Use a direct proof to show that every odd integer is the difference of two squares.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

9
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
5
Kenneth Rosen Edition 7th Exercise 1.7 Question 6 (Page No. 91)
Use a direct proof to show that the product of two odd numbers is odd.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
+1
vote
1
answer
6
Kenneth Rosen Edition 7th Exercise 1.7 Question 5 (Page No. 91)
Prove that if $m+n$ and $n+p$ are even integers, where $m, n$,and $p$ are integers, then $m+p$ is even. What kind of proof did you use?
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
7
Kenneth Rosen Edition 7th Exercise 1.7 Question 4 (Page No. 91)
Show that the additive inverse, or negative, of an even number is an even number using a direct proof.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

3
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
8
Kenneth Rosen Edition 7th Exercise 1.7 Question 3 (Page No. 91)
Show that the square of an even number is an even number using a direct proof
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
0
votes
0
answers
9
Kenneth Rosen Edition 7th Exercise 1.7 Question 2 (Page No. 91)
Use a direct proof to show that the sum of two even integers is even.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

2
views
kennethrosen
discretemathematics
mathematicallogic
+1
vote
1
answer
10
Kenneth Rosen Edition 7th Exercise 1.7 Question 1 (Page No. 91)
Use a direct proof to show that the sum of two odd integers is even.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
0
votes
0
answers
11
Kenneth Rosen Edition 7th Exercise 1.6 Question 35 (Page No. 80)
Determine whether this argument, taken from Kalish and Montague [KaMo64], is valid. If Superman were able and willing to prevent evil,he would do so. If Superman were unable to prevent evil, he would be impotent; ... does not prevent evil. If Superman exists, he is neither impotent nor malevolent. Therefore, Superman does not exist.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

4
views
kennethrosen
discretemathematics
propositionallogic
mathematicallogic
difficult
0
votes
0
answers
12
Kenneth Rosen Edition 7th Exercise 1.6 Question 34 (Page No. 80)
The Logic Problem, taken from WFF'N PROOF, The Game of Logic, has these two assumptions:1. Logic is difficult or not many students like logic. 2. If mathematics is easy, then logic is not difficult. By translating ... not easy. That if not many students like logic, then either mathematics is not easy or logic is not difficult.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

7
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
difficult
0
votes
1
answer
13
Kenneth Rosen Edition 7th Exercise 1.6 Question 33 (Page No. 80)
Use resolution to show that the compound proposition $(p \vee q) \wedge (\sim p \vee q) \wedge (p \vee \sim q) \wedge (\sim p \vee \sim q)$ is not satisfiable.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

14
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
14
Kenneth Rosen Edition 7th Exercise 1.6 Question 32 (Page No. 80)
Show that the equivalence $p \wedge \sim p \equiv F$ can be derived using resolution together with the fact that a conditional statement with a false hypothesis is true. [Hint:Let $q=r=F$ in resolution.]
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

4
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
15
Kenneth Rosen Edition 7th Exercise 1.6 Question 31 (Page No. 80)
Use resolution to show that the hypotheses “It is not raining or Yvette has her umbrella,” “Yvette does not have her umbrella or she does not get wet,” and “It is raining or Yvette does not get wet” imply that “Yvette does not get wet.”
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

3
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
16
Kenneth Rosen Edition 7th Exercise 1.6 Question 30 (Page No. 80)
Use resolution to show the hypotheses “Allen is a bad boy or Hillary is a good girl” and “Allen is a good boy or David is happy” imply the conclusion “Hillary is a good girl or David is happy.”
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

3
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
17
Kenneth Rosen Edition 7th Exercise 1.6 Question 29 (Page No. 80)
Use rules of inference to show that if $\forall x (P(x) \vee Q(x))$, $\forall x (\sim Q(x) \vee S(x)), \forall x (R(x) \rightarrow \sim S(x)),$ and $\exists x \sim P(x)$ are true, then $\exists x \sim R(x)$ is true.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
18
Kenneth Rosen Edition 7th Exercise 1.6 Question 28 (Page No. 80)
Use rules of inference to show that if $\forall x (P(x) \vee Q(x))$ and $\forall x ((\sim P(x) \wedge Q(x)) \rightarrow R(x))$ are true, then $\forall x (\sim R(x) \rightarrow P(x))$ is also true, where the domains of all quantifiers are the same.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

7
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
19
Kenneth Rosen Edition 7th Exercise 1.6 Question 27 (Page No. 80)
Use rules of inference to show that if $\forall x (P(x) \rightarrow (Q(x) \wedge S(x)))$ and $\forall x ( P(x) \wedge R(x))$ are true, then $\forall x (R(x) \wedge S(x))$ is true.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

4
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
20
Kenneth Rosen Edition 7th Exercise 1.6 Question 26 (Page No. 80)
Justify the rule of universal transitivity, which states that if $\forall x (P(x) \rightarrow Q(x))$ and $\forall x(Q(x) \rightarrow R(x))$ are true, then $\forall x (P(x) \rightarrow R(x))$ is true, where the domains of all quantifiers are the same.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

6
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
21
Kenneth Rosen Edition 7th Exercise 1.6 Question 25 (Page No. 80)
Justify the rule of universal modus tollens by showing that the premises $ \forall x (P(x) \rightarrow Q(x)) $ and $\sim Q(a)$for $a$ particular element $a$ in the domain, imply $\sim P(a)$
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
22
Kenneth Rosen Edition 7th Exercise 1.6 Question 18 (Page No. 79)
What is wrong with this argument? Let $S(x, y)$ be “$x$ is shorter than $y$.” Given the premise $\exists s S(s, Max)$, it follows that $S(Max, Max)$. Then by existential generalization it follows that $\exists x S(x,x)$, so that someone is shorter than himself.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
23
Kenneth Rosen Edition 7th Exercise 1.6 Question 17 (Page No. 79)
What is wrong with this argument? Let $H(x)$ be “$x$ is happy.” Given the premise $\exists x H(x)$, we conclude that $H(Lola)$. Therefore, Lola is happy.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
24
Kenneth Rosen Edition 7th Exercise 1.6 Question 16 (Page No. 79)
For each of these arguments determine whether the argument is correct or incorrect and explain why. Everyone enrolled in the university has lived in a dormitory. Mia has never lived in a dormitory. Therefore,Mia is not enrolled ... set at least a dozen traps. Hamilton is a lobsterman. Therefore, Hamilton sets at least a dozen traps
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

8
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
25
Kenneth Rosen Edition 7th Exercise 1.6 Question 15 (Page No. 79)
For each of these arguments determine whether the argument is correct or incorrect and explain why. All students in this class understand logic. Xavier is a student in this class. Therefore, Xavier understands logic. Every ... granola every day is healthy. Linda is not healthy. Therefore, Linda does not eat granola every day.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

3
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
26
Kenneth Rosen Edition 7th Exercise 1.6 Question 14 (Page No. 79)
For each of these arguments, explain which rules of inference are used for each step. Linda, a student in this class, owns a red convertible.Everyone who owns a red convertible has gotten at least one speeding ticket. ... France. Everyone who goes to France visits the Louvre. Therefore, someone in this class has visited the Louvre.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

3
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
27
Kenneth Rosen Edition 7th Exercise 1.6 Question 13 (Page No. 79)
For each of these arguments, explain which rules of inference are used for each step. Doug, a student in this class, knows how to write programs in JAVA. Everyone who knows how to write programs in JAVA can get a high ... has never seen the ocean. Therefore, someone who lives within 50 miles of the ocean has never seen the ocean.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

4
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
28
Kenneth Rosen Edition 7th Exercise 1.6 Question 9 (Page No. 78)
For each of these collections of premises, what relevant conclusion or conclusions can be drawn? Explain the rules of inference used to obtain each conclusion from the premises. If I take the day off, it either rains or snows. I took ... gnaw their food. Mice are rodents. Rabbits do not gnaw their food. Bats are not rodents.
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

4
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
29
Kenneth Rosen Edition 7th Exercise 1.6 Question 8 (Page No. 78)
What rules of inference are used in this argument? “No man is an island. Manhattan is an island. Therefore, Manhattan is not a man.”
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

4
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
30
Kenneth Rosen Edition 7th Exercise 1.6 Question 7 (Page No. 78)
What rules of inference are used in this famous argument? “All men are mortal. Socrates is a man. Therefore,Socrates is mortal.”
asked
5 days
ago
in
Mathematical Logic
by
Pooja Khatri
Loyal
(
8.9k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
Page:
1
2
3
4
5
6
...
48
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
Important Dates for Counselling (GATE 2019)
IIT Gandhinagar review
AIR175 : GO is enough
GATE 2019 My reasoned routine. (AIR 558)
if i can you also can
Follow @csegate
Recent questions tagged discretemathematics
Recent Blog Comments
not yet..
Has IIT Hyderabad admission opened? Not able to...
Congratulations on your achievement. Can you...
It's nice one. Not that technically difficult...
48,725
questions
52,834
answers
183,522
comments
68,660
users