Solution Manual of Discrete Mathematics and its Application by Kenneth H Rosen . For parts (c) and (d) we have the following table (columns five and six). .. write down a proposition q that is logically equivalent to p and uses only ¬, ∧, and. Discrete mathematics and its applications / Kenneth H. Rosen. — 7th ed. p. cm. .. Its Applications, published by Pearson, currently in its sixth edition, which has been translated .. In most examples, a question is first posed, then its solution. View Homework Help – Discrete Mathematics and Its Applications (6th edition) – from MATH at Universidade Federal de Goiás.

Author: Fenrilkis Kall
Country: Slovenia
Language: English (Spanish)
Genre: Music
Published (Last): 17 May 2008
Pages: 59
PDF File Size: 11.50 Mb
ePub File Size: 2.7 Mb
ISBN: 389-8-62560-855-1
Downloads: 15378
Price: Free* [*Free Regsitration Required]
Uploader: Tygolabar

This is a classical paradox. Another application of modus tollens then tells us that I did not play hockey. Therefore the two propositions are logically equivalent.

Discrete Mathematics and Its Applications (6th edition) – Solutions (1) | Quang Mai –

A constructive proof seems indicated. Then p is true, and since the second part of the hypothesis is true, we conclude that q is also true, as desired. Finally, the second applidations implies that if Tweety is a large bird, then Tweety does not live on honey.

Alternatively, there exists a student in the school who has visited North Dakota. Alternatively, every rabbit hops. English Choose a language for shopping. If q is true, then the third and fourth expressions will be true, and if r is false, the last expression will be true.

This was probably one of the worst-written textbooks I’ve used.

We are assuming—and there is no loss of generality in doing so—that the same atomic variables appear in all three propositions. Thus we conclude that A is a knave and B is a knight.

Discrete Mathematics And Its Applications ( 6th Edition) Solutions

If you are trying to learn propositional logic, and actually understand anything you are doing, than do NOT get this book. Whenever I do not go to the beach, it is not a sunny summer day. Alternatively, we could apply modus tollens. Their statements do not contradict each other. Customers who viewed this item also viewed. We have now concluded that p and q are both even, that is, that 2 is a common divisor of p and q. This means that John is lying when he denied it, so he did discreete.


Discrete Mathematics with Applications () :: Homework Help and Answers :: Slader

Please try again later. The unsatisfactory excuse guaranteed by part b cannot be a clear explanation by part a. It follows that S cannot be a proposition. In fact, a computer algebra system will tell us that neither of them is a perfect square. Therefore, in all cases in which the assumptions hold, this statement holds as well, so it is a valid conclusion. If so, then they are all telling the truth, but this is impossible, because as we just saw, some of the statements are contradictory.

Note that we were able to incorporate the parentheses by using the words either and else.

Alternatively, all students in the school have visited North Dakota. Therefore, if we remove one black square and one white square, this closed path decomposes into two paths, each of which starts in one color and ends in the other color and therefore has even length.

Amazon Advertising Find, attract, and engage customers.

Logic and Proofs c First we rewrite this using Table 7 in Section 1. Indeed, if it were true, then it would be truly asserting that it is false, a contradiction; on the other hand if it were false, then its assertion that it is false must doscrete false, so that it would be true—again a contradiction. We need to show that each of these propositions implies the other.

Therefore by modus ponens we know that I see elephants running down the road. Note that we were dlscrete to convert all of these statements into conditional statements. Then it is clear that every horizontally placed tile covers one square of each color and each vertically placed tile covers either zero or two squares of each color. Alternatively, some rabbits hop.



In each case we need to specify some propositional functions predicates and identify the domain of discourse. To say that p and q are logically equivalent is to say that the truth tables for p and q are identical; similarly, to say that q and r are logically equivalent is to say that the truth tables for q and r are identical. We can draw no conclusions. Let each letter stand for the statement that the person whose name begins with that letter is chatting.

Therefore this conclusion is not valid. Therefore the conditional statement is true. We could say using existential generalization that, for example, there exists a non-six-legged creature that eats a six-legged creature, and that there exists a non-insect that eats an insect.

Here’s an example of what’s in the book: We must show that Tweety is small. Therefore Jones is the murderer. It’s not only useless, it only served to confuse me and was a waste of my time. Kindle Edition Verified Purchase. If Jones and Williams are the innocent truth-tellers, then we again get a contradiction, since Jones says that he did not know Cooper and was out of town, but Williams says he saw Jones with Cooper presumably in town, and presumably if we was ssolutions him, then he knew him.

P x is true, so we form the disjunction of these three cases. I’d like to read this book on Kindle Don’t have a Kindle? If such a barber existed, who would shave the barber?