Write a two-column proof of each of the following deductions: :: P S 1) P (Q...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Write a two-column proof of each of the following deductions: :: P⇒ S 1) P⇒ (Q V R), Q⇒S, R⇒ S, 2) Q (Q⇒ P), .: Q⇒ P 3) MV (N⇒ M), 4) R⇒ (R⇒(R⇒(R⇒Q))), R=(QVP) 5) AV B, A⇒ C, B⇒ D, C ⇒ E, D ⇒ E, Hypotheses: :: ¬M ⇒ ¬N . E The Pope is here if and only if the Queen is here. The Queen is here if and only if the Registrar is here. Conclusion: The Pope is here if and only if the Registrar is here. 7) 8) 9) Hypotheses: If Jim is sick, he should stay in bed. If Jim is not sick, he should go outside to play. Conclusion: Jim should either stay in bed or go outside to play. Hypotheses: If the King will sing, then the Queen will sing. If the King and the Queen will both sing, then the Prince and the Princess will also sing. If the King and the Queen and the Prince and the Princess will all sing, then the party will be fun. Conclusion: If the King will sing, then the party will be fun. Hypotheses: If the Pope is here, then either the Queen is here or the Registrar is here. If the Queen is here, then the Spy is here. If the Registrar is here, then the Spy is here. Conclusion: If the Pope is here, then the Spy is here. EXERCISES 2.4.3. Provide a justification (rule and line numbers) for each line of these proofs. 1) 1 2 3 4 LO 5 6 7 8 9 10 ¬CBVC A &¬B ¬C BVC B -B B&¬B ¬¬C C (A &¬B) ⇒ C 2) 3) 1 2 3 4 5 6 1 2 3 4 5 6 7 8 9 (A v B) ⇒¬B B AV B ¬B B&¬B ¬B P⇒ Q Q⇒R R⇒ P P Q R -P P& ¬P -P 4) 1 2 3 4 5 6 7 8 9 10 11 12 13 (PV¬Q) ⇒¬R Q⇒ P R P PV-Q ¬R R&¬R -Q PV-Q ¬R R&¬R ¬R 5) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Z ⇒ (C & ¬N) ¬Z⇒ (N &¬C) (NVC) N NVC (NVC) & (NVC) -N C NVC (NVC) & (NVC) ¬C Z C & ¬N C C & ¬C ¬Z N &¬C N N & ¬N (NVC) NVC EXERCISES 2.4.4. Give a two-column proof of each of these deductions. 1) Q (Q & ¬Q), :: ¬Q 2) J⇒¬J, :: ¬J 3) UX, V ⇒ ¬X, .: ¬(U & V) 4) (M V N) ⇒ ¬T, ¬T⇒¬M, .. ¬M Hypotheses: 5) If Alice is here, then Bob is here. If Bob is here, then Carol is here. If Carol is here, then Bob is not here. Conclusion: Alice is not here. EXERCISE 2.5.2. Give a two-column proof of the deduction A⇒ (B & C), A, .. C Work backwards from what you want. The ultimate goal is to derive the conclusion. Look at the conclusion and ask what the introduction rule is for its main logical operator. This gives you an idea of where you want to be just before the last line of the proof. Then you can treat this line as if it were your goal; we call it a subgoal because it represents partial progress toward the true goal. Ask what you could do to derive the subgoal. For example: • If your conclusion is A & B, then you need to figure out a way to prove A and a way to prove B. • If your conclusion is a conditional A ⇒ B, plan to use the ⇒-intro rule. This requires starting a subproof in which you assume A. In the subproof, you want to derive B. The last of the four mazes in Exercise 2.5.1 is easy if you work backwards from the finish, instead of forward from the start. EXERCISE 2.5.3. Give a two-column proof of the deduction (P VQ) ⇒ (R & S), (RV S) ⇒ (P & Q), .. P ⇒Q Try breaking the proof down into cases. If it looks like you need an additional hypothesis (A) to prove what you want, try considering two cases: since AV¬A is a tautology ("Law of Excluded Middle"), it suffices to prove that A and¬A each yield the desired conclusion. EXERCISE 2.5.4. Give a two-column proof of the deduction P⇒ Q, ¬P ⇒ R, (Q V R) ⇒ S, .. S Look for useful subgoals. Working backwards is one way to identify a worthwhile sub- goal, but there are others. For example, if you have A ⇒ B, you should think about whether you can obtain A somehow, so that you can apply ⇒-elimination. EXERCISE 2.5.7. Give a two-column proof of the deduction P⇒Q, Q⇒¬P, : ¬P Repeat as necessary. After you have made some progress, by either deriving some new assertions or deciding on a new goal that would represent substantial progress, see what the above strategies suggest in your new situation. Persist. Try different things. If one approach fails, try something else. When solving a difficult maze, you should expect to have to backtrack several times, and the same is true when doing proofs. EXERCISES 2.5.8. Give a two-column proof of each of these deductions. 1) (P & ¬Q) ⇒ (QV R), .. (P& ¬Q) ⇒ (RVS) 2) P⇒ (QV R), Q⇒-P, R⇒S, P⇒ S Write a two-column proof of each of the following deductions: :: P⇒ S 1) P⇒ (Q V R), Q⇒S, R⇒ S, 2) Q (Q⇒ P), .: Q⇒ P 3) MV (N⇒ M), 4) R⇒ (R⇒(R⇒(R⇒Q))), R=(QVP) 5) AV B, A⇒ C, B⇒ D, C ⇒ E, D ⇒ E, Hypotheses: :: ¬M ⇒ ¬N . E The Pope is here if and only if the Queen is here. The Queen is here if and only if the Registrar is here. Conclusion: The Pope is here if and only if the Registrar is here. 7) 8) 9) Hypotheses: If Jim is sick, he should stay in bed. If Jim is not sick, he should go outside to play. Conclusion: Jim should either stay in bed or go outside to play. Hypotheses: If the King will sing, then the Queen will sing. If the King and the Queen will both sing, then the Prince and the Princess will also sing. If the King and the Queen and the Prince and the Princess will all sing, then the party will be fun. Conclusion: If the King will sing, then the party will be fun. Hypotheses: If the Pope is here, then either the Queen is here or the Registrar is here. If the Queen is here, then the Spy is here. If the Registrar is here, then the Spy is here. Conclusion: If the Pope is here, then the Spy is here. EXERCISES 2.4.3. Provide a justification (rule and line numbers) for each line of these proofs. 1) 1 2 3 4 LO 5 6 7 8 9 10 ¬CBVC A &¬B ¬C BVC B -B B&¬B ¬¬C C (A &¬B) ⇒ C 2) 3) 1 2 3 4 5 6 1 2 3 4 5 6 7 8 9 (A v B) ⇒¬B B AV B ¬B B&¬B ¬B P⇒ Q Q⇒R R⇒ P P Q R -P P& ¬P -P 4) 1 2 3 4 5 6 7 8 9 10 11 12 13 (PV¬Q) ⇒¬R Q⇒ P R P PV-Q ¬R R&¬R -Q PV-Q ¬R R&¬R ¬R 5) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Z ⇒ (C & ¬N) ¬Z⇒ (N &¬C) (NVC) N NVC (NVC) & (NVC) -N C NVC (NVC) & (NVC) ¬C Z C & ¬N C C & ¬C ¬Z N &¬C N N & ¬N (NVC) NVC EXERCISES 2.4.4. Give a two-column proof of each of these deductions. 1) Q (Q & ¬Q), :: ¬Q 2) J⇒¬J, :: ¬J 3) UX, V ⇒ ¬X, .: ¬(U & V) 4) (M V N) ⇒ ¬T, ¬T⇒¬M, .. ¬M Hypotheses: 5) If Alice is here, then Bob is here. If Bob is here, then Carol is here. If Carol is here, then Bob is not here. Conclusion: Alice is not here. EXERCISE 2.5.2. Give a two-column proof of the deduction A⇒ (B & C), A, .. C Work backwards from what you want. The ultimate goal is to derive the conclusion. Look at the conclusion and ask what the introduction rule is for its main logical operator. This gives you an idea of where you want to be just before the last line of the proof. Then you can treat this line as if it were your goal; we call it a subgoal because it represents partial progress toward the true goal. Ask what you could do to derive the subgoal. For example: • If your conclusion is A & B, then you need to figure out a way to prove A and a way to prove B. • If your conclusion is a conditional A ⇒ B, plan to use the ⇒-intro rule. This requires starting a subproof in which you assume A. In the subproof, you want to derive B. The last of the four mazes in Exercise 2.5.1 is easy if you work backwards from the finish, instead of forward from the start. EXERCISE 2.5.3. Give a two-column proof of the deduction (P VQ) ⇒ (R & S), (RV S) ⇒ (P & Q), .. P ⇒Q Try breaking the proof down into cases. If it looks like you need an additional hypothesis (A) to prove what you want, try considering two cases: since AV¬A is a tautology ("Law of Excluded Middle"), it suffices to prove that A and¬A each yield the desired conclusion. EXERCISE 2.5.4. Give a two-column proof of the deduction P⇒ Q, ¬P ⇒ R, (Q V R) ⇒ S, .. S Look for useful subgoals. Working backwards is one way to identify a worthwhile sub- goal, but there are others. For example, if you have A ⇒ B, you should think about whether you can obtain A somehow, so that you can apply ⇒-elimination. EXERCISE 2.5.7. Give a two-column proof of the deduction P⇒Q, Q⇒¬P, : ¬P Repeat as necessary. After you have made some progress, by either deriving some new assertions or deciding on a new goal that would represent substantial progress, see what the above strategies suggest in your new situation. Persist. Try different things. If one approach fails, try something else. When solving a difficult maze, you should expect to have to backtrack several times, and the same is true when doing proofs. EXERCISES 2.5.8. Give a two-column proof of each of these deductions. 1) (P & ¬Q) ⇒ (QV R), .. (P& ¬Q) ⇒ (RVS) 2) P⇒ (QV R), Q⇒-P, R⇒S, P⇒ S
Expert Answer:
Related Book For
Income Tax Fundamentals 2013
ISBN: 9781285586618
31st Edition
Authors: Gerald E. Whittenburg, Martha Altus Buller, Steven L Gill
Posted Date:
Students also viewed these accounting questions
-
Upon reviewing Coca-Cola's income statement and balance sheet, several performance indicators emerge. Firstly, analyzing revenue trends from the income statement offers insights into the company's...
-
Emily Jackson (Social Security number 765-12-4326) and James Stewart (Social Security number 466-74-9932) are partners in a partnership that owns and operates a barber shop. The partnership's first...
-
The following additional information is available for the Dr. Ivan and Irene Incisor family from Chapters 1-5. Ivan's grandfather died and left a portfolio of municipal bonds. In 2012, they pay Ivan...
-
A set of 2M biorthogonal signals is obtained from a set of M orthogonal signals by augmenting it with the negative of each signal in the set. (a) The extension of orthogonal to biorthogonal signals...
-
Selected accounts from the chart of accounts of Boyden Company are shown below. 101 Cash.......... 120 Merchandise Inventory 112 Accounts Receivable.... 126 Supplies 157 Equipment........ 414 Sales...
-
Why should a reduce-market-focus strategy with above-average customer value deliver above-average profits for Ben & Jerry's Ice Cream?
-
Butch, single, operates a sole proprietorship with net income of \($145,000.\) Butchs taxable income is also \($145,000\) including the income from the sole proprietorship. Butch is considering...
-
If Starbuckss marketing department estimates the income elasticity of demand for its coffee to be 1.75, how will looming fears of a recession (expected to decrease consumers incomes by 4 percent over...
-
How does the principle of parsimony guide researchers in formulating concise hypotheses and theories in scientific inquiry?
-
The Rollins Sporting Goods Company manufactures baseballs for the professional minor and major leagues at its plants in Costa Rica. According to the rules of major league baseball, a baseball must...
-
2. Given an electric field expressed as E(F) (xy + 2)+ (x'y+ 2)+ xi, %3D (a) Calculate the charge density. (b) Show that v xE = 0. 3. An electric potential in a spherically symmetric region is given...
-
With auto loans extending 5,6,7 or more years, it is common for buyers who wish to trade in their cars after a few years to find themselves to be "upside down" on the loan. In other words, the...
-
Complete the following Verilog code to implement the given Algorithmic State Machine (ASM) using 3 procedural blocks (Use a positive edge CLK and a low-level RESET) Note: you can define Sum, X, Y and...
-
Skippy wants to have $17,000.00 in 12 years. His bank is offering an account that earns 2% compounded monthly. How much does he need to deposit to reach his goal? Round your final answer up to the...
-
Rachel wants to have $4,400.00 in 27 months. Her bank is offering her a Certificate of Deposit, a special savings account, that earns 1.8% compounded weekly. How much does she need to deposit now to...
-
BioScience Incorporated will pay a common stock dividend of $3.20 at the end of the year (D1). The required return on common stock (Ke) is 20 percent. The firm has a constant growth rate (g) of 10...
-
COMO Issues Required: 1. For each case, identify the principle(s) of internal control that is violated. a. Chi Han receives all incoming customer cash receipts for her employer and posts the customer...
-
Figure displays a 12.0 V battery 3 four uncharged capacitors of capacitances C1 = 4.00F, C2 = 6.00F, and C3 = 3.00F. The switch is thrown to the left side until capacitor 1 is fully charged. Then the...
-
In 2012, Michael has net short-term capital losses of $2,000, a net long-term capital loss of $45,000, and other ordinary taxable income of $45,000. a. Calculate the amount of Michael's deduction for...
-
Sophie is a single taxpayer. For the first payroll period in October 2012, she is paid wages of $3,250 monthly. Sophie claims three allowances on her Form W-4. a. Use the percentage method to...
-
How much of each of the following prizes or awards is taxable? a. Cheline received a $50,000 gift bag at the Oscars in 2012. b. Jon received a gold watch worth $350 for 25 years of service to his...
-
How are risk and return each defined? Do you think there is a relationship between them?
-
What is the difference between short-term and long-term capital?
-
Define relevant range. Why is it important?
Bootstrap Components Discover The Components Of Bootstrap 1st Edition - ISBN: B0BQ9GG693 - Free Book
Study smarter with the SolutionInn App