DISCRETE MATHEMATICS WITH APPLICATION (
5th Edition
ISBN: 9780357097717
Author: EPP
Publisher: CENGAGE L
expand_more
expand_more
format_list_bulleted
Concept explainers
Videos
Textbook Question
Chapter 3.4, Problem 36ES
Derives the validity of universal form of part(a) of the elimination rule from the validity of universal instantiation and the valid argument called elimination in Section 2.3.
Expert Solution & Answer
Trending nowThis is a popular solution!
Students have asked these similar questions
1. Iodine-131 is tone of the most commonly used radioactive isotopes of iodine. It is used to treat hyper-
thyroidism and some kinds of thyroid cancer.
(a) Iodine-131 has a half-life of about 8 days. Find an expression for I(t), the mass of Iodine-131
remaining after t days, in terms of t and Io, the initial mass of Iodine-131 present at time t = 0.
(b) If a dose of 0.9 mg of Iodine-131 is administered, how much is still present after 24 hours?
(c) How much Iodine-131 is present after one week? Does your answer make sense?
Question 2: When John started his first job, his first end-of-year salary was $82,500. In the following years, he received salary raises as shown in the following table.
Fill the Table: Fill the following table showing his end-of-year salary for each year. I have already provided the end-of-year salaries for the first three years. Calculate the end-of-year salaries for the remaining years using Excel. (If you Excel answer for the top 3 cells is not the same as the one in the following table, your formula / approach is incorrect) (2 points)
Geometric Mean of Salary Raises: Calculate the geometric mean of the salary raises using the percentage figures provided in the second column named “% Raise”. (The geometric mean for this calculation should be nearly identical to the arithmetic mean. If your answer deviates significantly from the mean, it's likely incorrect. 2 points)
Starting salary
% Raise
Raise
Salary after raise
75000
10%
7500
82500
82500
4%
3300…
d₁ ≥ ≥ dn ≥ 0 with di even.
di≤k(k − 1) + + min{k, di}
vi=k+1
T2.5: Let d1, d2,...,d be integers such that n - 1
Prove the equivalence of the Erdos-Gallai conditions:
for each k = 1, 2, ………, n and the Edge-Count Criterion: Σier di + Σjeл(n − 1 − d;) ≥ |I||J| for
all I, JC [n] with In J = 0.
Chapter 3 Solutions
DISCRETE MATHEMATICS WITH APPLICATION (
Ch. 3.1 - If P(x) is a predicate with domain D, the truth...Ch. 3.1 - Some ways to express the symbol in words are .Ch. 3.1 - Some ways to express the symbol in words are .Ch. 3.1 - A statement of from xD , Q(x) is true if, and only...Ch. 3.1 - A statement of the form xD such that Q(x) is true:...Ch. 3.1 - A menagerie consists of seven brown dogs, two...Ch. 3.1 - Indicate which of the following statements are...Ch. 3.1 - Let R(m,n) be the predicate “If m is a factor if...Ch. 3.1 - Let Q(x,y) be the predicate “If xy then x2y2 ”...Ch. 3.1 - Find the truth set of each predicate. Predicate:...
Ch. 3.1 - Let B(x) be “ 10x10 .” Find the truth set of B(x)...Ch. 3.1 - Let S be the set of all strings of length 3...Ch. 3.1 - Let T be the set of all strings of length 3...Ch. 3.1 - Find counterexamples to show that the statements...Ch. 3.1 - Find counterexamples to show that the statements...Ch. 3.1 - Find counterexamples to show that the statements...Ch. 3.1 - Find counterexamples to show that the statements...Ch. 3.1 - Consider the following statement: basketball...Ch. 3.1 - Consider the following statement: xR such that...Ch. 3.1 - Rewrite the following statements informally in at...Ch. 3.1 - Rewrite each of the following statements in the...Ch. 3.1 - Rewrite each of the following in the form “ _____...Ch. 3.1 - Let D be the sat of all students at your school,...Ch. 3.1 - Consider the following statement: integer n, if...Ch. 3.1 - Rewrite the following statement informally in at...Ch. 3.1 - Prob. 21ESCh. 3.1 - Rewrite each of the following statements in the...Ch. 3.1 - Rewrite each of the following statements in the...Ch. 3.1 - Rewrite the following statements in the two forms...Ch. 3.1 - The statement “The square of any rational number...Ch. 3.1 - Consider the statement “All integers are rational...Ch. 3.1 - Refer to the picture of Tarski’s world given in...Ch. 3.1 - In 28-30, rewrite each statement without using...Ch. 3.1 - Let the domain of x be the set of geometric...Ch. 3.1 - Let the domain of x be Z, the set of integers, and...Ch. 3.1 - In any mathematics or computer science text other...Ch. 3.1 - Let R be the domain of the predicate variable x....Ch. 3.1 - Prob. 33ESCh. 3.2 - A negation for “All R have property S” is “There...Ch. 3.2 - A negation for “Some R have property S” is...Ch. 3.2 - A negation for “For every x, if x has property P...Ch. 3.2 - The converse of “For every x, if x has property P...Ch. 3.2 - The contrapositive of “For every x, if x has...Ch. 3.2 - The inverse of “For every x, if x has property P...Ch. 3.2 - Which of the following is a negation for “All...Ch. 3.2 - Which of the following is a negation for “All dogs...Ch. 3.2 - Write a formula negation for each of the following...Ch. 3.2 - Write an informal negation for each of the...Ch. 3.2 - Write a negation for each of the following...Ch. 3.2 - Write a negation for each statement in 6 and 7....Ch. 3.2 - Write a negation for each statement in 6 and 7....Ch. 3.2 - Consider the statement “There are no simple...Ch. 3.2 - Write negation for each statement in 9 and 10. ...Ch. 3.2 - Write a negation for each statements in 9 and 10. ...Ch. 3.2 - In each of 11-14 determine whether the proposed...Ch. 3.2 - In each of 11-14 determine whether the proposed...Ch. 3.2 - Prob. 13ESCh. 3.2 - Prob. 14ESCh. 3.2 - Prob. 15ESCh. 3.2 - In 16-23, write a negation for each statement. ...Ch. 3.2 - In 16-23, write a negation for each statement. ...Ch. 3.2 - Prob. 18ESCh. 3.2 - In 16-23, write a negation for each statement. nZ...Ch. 3.2 - Prob. 20ESCh. 3.2 - Prob. 21ESCh. 3.2 - In 16-23, write a negation for each statement. If...Ch. 3.2 - In 16-23, write a negation for each statement. If...Ch. 3.2 - Prob. 24ESCh. 3.2 - Prob. 25ESCh. 3.2 - In 26-33, for each statement in the referenced...Ch. 3.2 - In 26-33, for each statement in the referenced...Ch. 3.2 - Prob. 28ESCh. 3.2 - In 26-33, for each statement in the referenced...Ch. 3.2 - Prob. 30ESCh. 3.2 - In 26-33, for each statement in the referenced...Ch. 3.2 - In 26-33, for each statement in the referenced...Ch. 3.2 - In 26-33, for each statement in the referenced...Ch. 3.2 - Prob. 34ESCh. 3.2 - Give an example to show that a universal condition...Ch. 3.2 - If P(x) is a predicate and the domain of x is the...Ch. 3.2 - Consider the following sequence of digits: 0204. A...Ch. 3.2 - True or false? All occurrences of the letter u in...Ch. 3.2 - Prob. 39ESCh. 3.2 - Rewrite each statement of 39-44 if-then form....Ch. 3.2 - Rewrite each statement of 39-44 if-then form....Ch. 3.2 - Rewrite each statement of 39-44 if-then form....Ch. 3.2 - Rewrite each statement of 39-44 in if-then form. A...Ch. 3.2 - Rewrite each statement of 39-44 in if-then form. A...Ch. 3.2 - Prob. 45ESCh. 3.2 - Use the facts that the negation of a STATEMENT IS...Ch. 3.2 - Prob. 47ESCh. 3.2 - Use the facts that the negation of STATEMENT IS A...Ch. 3.2 - The computer scientist Richard Conway and David...Ch. 3.2 - A frequent-flyer club brochure stares, “you may...Ch. 3.3 - To establish the truth of a statement of the form...Ch. 3.3 - Prob. 2TYCh. 3.3 - Prob. 3TYCh. 3.3 - Consider the statement “ x such that y , P(x,y), a...Ch. 3.3 - Prob. 5TYCh. 3.3 - Prob. 1ESCh. 3.3 - Let G(x,y) be “ x2y .” Indicate which of the...Ch. 3.3 - The following statement is true: “ nonzero number...Ch. 3.3 - The following statement is true: “ real number x,...Ch. 3.3 - Prob. 5ESCh. 3.3 - The statements in exercise 5-8 refer to the Tarski...Ch. 3.3 - Prob. 7ESCh. 3.3 - This statements is exercised 5-8 refer to the...Ch. 3.3 - Prob. 9ESCh. 3.3 - This exercise refers to Example 3.3.3. Determine...Ch. 3.3 - Let Sbe the set of students at your school, let M...Ch. 3.3 - Let D = E ={-2,-1,0,1,2}. Write negations for each...Ch. 3.3 - Prob. 13ESCh. 3.3 - Prob. 14ESCh. 3.3 - Prob. 15ESCh. 3.3 - Prob. 16ESCh. 3.3 - Prob. 17ESCh. 3.3 - Prob. 18ESCh. 3.3 - Prob. 19ESCh. 3.3 - Recall that reversing that order of the...Ch. 3.3 - For each of following equators, determinewhich of...Ch. 3.3 - Prob. 22ESCh. 3.3 - In 22 and 23, rewrite each statement without using...Ch. 3.3 - Prob. 24ESCh. 3.3 - Each statement in 25—28 refers to Tarski world of...Ch. 3.3 - Each statement in 25—28 refers to Tarski world of...Ch. 3.3 - Prob. 27ESCh. 3.3 - Prob. 28ESCh. 3.3 - Prob. 29ESCh. 3.3 - Prob. 30ESCh. 3.3 - Prob. 31ESCh. 3.3 - Prob. 32ESCh. 3.3 - Prob. 33ESCh. 3.3 - In 33-39(a) rewrite the statement formally using...Ch. 3.3 - In 33-39(a) rewrite the statement formally using...Ch. 3.3 - In 33-39(a) rewrite the statement formally using...Ch. 3.3 - In 33-39(a) rewrite the statement formally using...Ch. 3.3 - In 33-39(a) rewrite the statement formally using...Ch. 3.3 - Prob. 39ESCh. 3.3 - Prob. 40ESCh. 3.3 - Indicate which of the following statements are...Ch. 3.3 - Write the negation of the definition of limit of a...Ch. 3.3 - The following is the definition for limxaf(x)=L ....Ch. 3.3 - The notation ! stands for the words “There exists...Ch. 3.3 - Suppose that P(x) is a predicate and D is the...Ch. 3.3 - In 46—54, refer to the Tarski world given in...Ch. 3.3 - Prob. 47ESCh. 3.3 - Prob. 48ESCh. 3.3 - In 46—54, refer to the Tarski world given in...Ch. 3.3 - In 46—54, refer to the Tarski world given in...Ch. 3.3 - Y13In 46—54, refer to the Tarski world given in...Ch. 3.3 - Prob. 52ESCh. 3.3 - Prob. 53ESCh. 3.3 - Prob. 54ESCh. 3.3 - Let P(x)and Q(x) be predicates and suppose D is...Ch. 3.3 - Let P(x) and Q(x) be predicates and suppose D is...Ch. 3.3 - Let P(x) and Q(x) be predicates and suppose D is...Ch. 3.3 - Let P(x) and Q(x) be predicates and suppose D is...Ch. 3.3 - Prob. 59ESCh. 3.3 - In 59-61, find the answers Prolog would give if...Ch. 3.3 - Prob. 61ESCh. 3.4 - The rule of universal instantiation says that if...Ch. 3.4 - If the first two premises of universal modus...Ch. 3.4 - Prob. 3TYCh. 3.4 - If the first two premised of universal...Ch. 3.4 - Prob. 5TYCh. 3.4 - Prob. 1ESCh. 3.4 - Prob. 2ESCh. 3.4 - Prob. 3ESCh. 3.4 - real numbers r, a, and b, if b, if r is positive,...Ch. 3.4 - Prob. 5ESCh. 3.4 - Prob. 6ESCh. 3.4 - Some of the arguments in 7-18 are valid by...Ch. 3.4 - Prob. 8ESCh. 3.4 - Prob. 9ESCh. 3.4 - Prob. 10ESCh. 3.4 - Some of the arguments in 7—18 are valid by...Ch. 3.4 - Some of the arguments in 7—18 are valid by...Ch. 3.4 - Some of the arguments in 7-18 are valid by...Ch. 3.4 - Some of the arguments in 7-18 are valid by...Ch. 3.4 - Some of the arguments in 7-18 are valid by...Ch. 3.4 - Some of the arguments in 7-18 are valid by...Ch. 3.4 - Prob. 17ESCh. 3.4 - Some of the arguments in 7-18 are valid by...Ch. 3.4 - Rewrite the statement “No good cars are cheap” in...Ch. 3.4 - Use a diagram to shoe that the following argument...Ch. 3.4 - Indicate whether the arguments in 21-27 are valid...Ch. 3.4 - Indicate whether the arguments in 21-27 are valid...Ch. 3.4 - Prob. 23ESCh. 3.4 - Indicate whether the arguments in 21-27 are valid...Ch. 3.4 - Prob. 25ESCh. 3.4 - Prob. 26ESCh. 3.4 - Prob. 27ESCh. 3.4 - In exercises 28-32, reorder the premises in each...Ch. 3.4 - In exercises 28-32, reorder the premises in each...Ch. 3.4 - In exercises 28-32, reorder the premises in each...Ch. 3.4 - Prob. 31ESCh. 3.4 - In exercises 28-32, reorder the premises in each...Ch. 3.4 - Prob. 33ESCh. 3.4 - In 33 and 34 a single conclusion follows when all...Ch. 3.4 - Prob. 35ESCh. 3.4 - Derives the validity of universal form of part(a)...
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, subject and related others by exploring similar questions and additional content below.Similar questions
- T2.4: Let d₁arrow_forwardSolve the following boundary value problem using method of separation of variables: 1 ə ди r dr 70% (107) + 1 д²и = 0, 12802 -πarrow_forwardT2.3: Prove that there exists a connected graph with degrees d₁ ≥ d₂ >> dn if and only if d1, d2,..., dn is graphic, d ≥ 1 and di≥2n2. That is, some graph having degree sequence with these conditions is connected. Hint - Do not attempt to directly prove this using Erdos-Gallai conditions. Instead work with a realization and show that 2-switches can be used to make a connected graph with the same degree sequence. Facts that can be useful: a component (i.e., connected) with n₁ vertices and at least n₁ edges has a cycle. Note also that a 2-switch using edges from different components of a forest will not necessarily reduce the number of components. Make sure that you justify that your proof has a 2-switch that does decrease the number of components.arrow_forwardT2.2 Prove that a sequence s d₁, d₂,..., dn with n ≥ 3 of integers with 1≤d; ≤ n − 1 is the degree sequence of a connected unicyclic graph (i.e., with exactly one cycle) of order n if and only if at most n-3 terms of s are 1 and Σ di = 2n. (i) Prove it by induction along the lines of the inductive proof for trees. There will be a special case to handle when no d₂ = 1. (ii) Prove it by making use of the caterpillar construction. You may use the fact that adding an edge between 2 non-adjacent vertices of a tree creates a unicylic graph.arrow_forwardI need help with this problem and an explanation of the solution for the image described below. (Statistics: Engineering Probabilities)arrow_forward= == T2.1: Prove that the necessary conditions for a degree sequence of a tree are sufficient by showing that if di 2n-2 there is a caterpillar with these degrees. Start the construction as follows: if d1, d2,...,d2 and d++1 = d = 1 construct a path v1, v2, ..., vt and add d; - 2 pendent edges to v, for j = 2,3,..., t₁, d₁ - 1 to v₁ and d₁ - 1 to v₁. Show that this construction results vj in a caterpillar with degrees d1, d2, ..., dnarrow_forwardDo the Laplace Transformation and give the answer in Partial Fractions. Also do the Inverted Laplace Transformation and explain step-by-step.arrow_forwardI need help with this problem and an explanation of the solution for the image described below. (Statistics: Engineering Probabilities)arrow_forward12. [-/1 Points] DETAILS MY NOTES SESSCALCET2 6.3.508.XP. ASK YOUR TEA Make a substitution to express the integrand as a rational function and then evaluate the integral. (Remember to use absolute values where appropriate. Use C for the constant of integration.) x + 16 dx X Need Help? Read It SUBMIT ANSWER 13. [-/1 Points] DETAILS MY NOTES SESSCALCET2 6.3.512.XP. ASK YOUR TEA Make a substitution to express the integrand as a rational function and then evaluate the integral. (Remember to use absolute values where appropriate. Use C for the constant of integration.) dx 8)(2x + 1) Need Help? Read It SUBMIT ANSWER 14. [-/1 Points] DETAILS MY NOTES SESSCALCET2 6.3.518.XP. Find the area of the region under the given curve from 1 to 5. y = x² +7 6x - x² Need Help? Read It ASK YOUR TEAarrow_forwardLakshmi planted 20 begonias, but her neighbor’s dog ate 7 of them. What percent of the begonias did the dog eat?arrow_forwardDETAILS MY NOTES SESSCALCET2 6.3.012. 6. [-/1 Points] Evaluate the integral. x-4 dx x² - 5x + 6 Need Help? Read It SUBMIT ANSWER 7. [-/1 Points] DETAILS MY NOTES SESSCALCET2 6.3.019. Evaluate the integral. (Remember to use absolute values where appropriate. Use C for the constant of integration.) x²+1 (x-6)(x-5)² dx Need Help? Read It SUBMIT ANSWER 8. [-/1 Points] DETAILS MY NOTES SESSCALCET2 6.3.021. Evaluate the integral. (Remember to use absolute values where appropriate. Use C for the constant of integration.) ✓ x² 4 +4 dxarrow_forwardDETAILS MY NOTES SESSCALCET2 6.3.017. 1. [-/1 Points] Evaluate the integral. - - dy y(y + 2)(y-3) Need Help? Read It Watch It SUBMIT ANSWER 2. [-/1 Points] DETAILS MY NOTES SESSCALCET2 6.3.027. Evaluate the integral. (Use C for the constant of integration.) X + 16 x²+10x29 dx Need Help? Read It Watch It SUBMIT ANSWERarrow_forwardarrow_back_iosSEE MORE QUESTIONSarrow_forward_iosRecommended textbooks for you
Elements Of Modern AlgebraAlgebraISBN:9781285463230Author:Gilbert, Linda, JimmiePublisher:Cengage Learning,
Elements Of Modern AlgebraAlgebraISBN:9781285463230Author:Gilbert, Linda, JimmiePublisher:Cengage Learning,
Propositional Logic, Propositional Variables & Compound Propositions; Author: Neso Academy;https://www.youtube.com/watch?v=Ib5njCwNMdk;License: Standard YouTube License, CC-BY
Propositional Logic - Discrete math; Author: Charles Edeki - Math Computer Science Programming;https://www.youtube.com/watch?v=rL_8y2v1Guw;License: Standard YouTube License, CC-BY
DM-12-Propositional Logic-Basics; Author: GATEBOOK VIDEO LECTURES;https://www.youtube.com/watch?v=pzUBrJLIESU;License: Standard Youtube License
Lecture 1 - Propositional Logic; Author: nptelhrd;https://www.youtube.com/watch?v=xlUFkMKSB3Y;License: Standard YouTube License, CC-BY
MFCS unit-1 || Part:1 || JNTU || Well formed formula || propositional calculus || truth tables; Author: Learn with Smily;https://www.youtube.com/watch?v=XV15Q4mCcHc;License: Standard YouTube License, CC-BY