2. Indirect Proof (IP) in Predicate Logic Indirect proof (IP) can be used in predicate logic...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
2. Indirect Proof (IP) in Predicate Logic Indirect proof (IP) can be used in predicate logic proofs in much the same way as in propositional logic proofs. As usual, you will begin an indented indirect proof sequence by assuming the negation of the statement to be obtained. If you are then able to derive a contradiction from this assumption, the indirect proof sequence is discharged and you can assert the denial of the original assumption. The following example shows how to use indirect proof in predicate logic. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. (3x)(Ax v Bx) (3x)CX (3x)CX (x)~AX ~(X)~AX (3X)AX Aa ~(3x) (Ax v Bx) (x)~ (Ax v Bx) ~(Aa v Ba) ~Aa ~Ba ~Aa Aa Aa / (x)~AX AIP 3 QN 4 EI 1,2 MT 6 QN 7 UI 8 DM 9 Simp 5,10 Conj 3-11 IP 1. 2. 3. 4. 5. 6. 7. 8. 9. (³y)Ry> (y)My Me ~Re 10. ~Re Re (3y)Ry (y)My ~~Re ~Me Me Me. ~Me ○○○○○○○ / ~Re (Use the following tabs if you need help remembering any of the natural deduction rules you have learned so far.) ▼ NATURAL DEDUCTION RULES AND PROOF METHODS Modus Ponens (MP) Simplification (Simp) Distribution (Dist) Modus Tollens (MT) Conjunction (Conj) Double Negation (DN) Pure Hypothetical Syllogism (HS) Disjunctive Syllogism (DS) Addition (Add) De Morgan's Rule (DM) Commutativity (Com) Transposition (Trans) Material Implication (Impl) Material Equivalence (Equiv) Exportation (Exp) Constructive Dilemma (CD) Associativity (Assoc) Tautology (Taut) Conditional Proof (ACP + CP) Indirect Proof (AIP + IP) Universal Instantiation (UI) Universal Generalization (UG) Existential Instantiation (El) Existential Generalization (EG) Quantifier Negation (QN) 7 2. Indirect Proof (IP) in Predicate Logic Indirect proof (IP) can be used in predicate logic proofs in much the same way as in propositional logic proofs. As usual, you will begin an indented indirect proof sequence by assuming the negation of the statement to be obtained. If you are then able to derive a contradiction from this assumption, the indirect proof sequence is discharged and you can assert the denial of the original assumption. The following example shows how to use indirect proof in predicate logic. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. (3x)(Ax v Bx) (3x)CX (3x)CX (x)~AX ~(X)~AX (3X)AX Aa ~(3x) (Ax v Bx) (x)~ (Ax v Bx) ~(Aa v Ba) ~Aa ~Ba ~Aa Aa Aa / (x)~AX AIP 3 QN 4 EI 1,2 MT 6 QN 7 UI 8 DM 9 Simp 5,10 Conj 3-11 IP 1. 2. 3. 4. 5. 6. 7. 8. 9. (³y)Ry> (y)My Me ~Re 10. ~Re Re (3y)Ry (y)My ~~Re ~Me Me Me. ~Me ○○○○○○○ / ~Re (Use the following tabs if you need help remembering any of the natural deduction rules you have learned so far.) ▼ NATURAL DEDUCTION RULES AND PROOF METHODS Modus Ponens (MP) Simplification (Simp) Distribution (Dist) Modus Tollens (MT) Conjunction (Conj) Double Negation (DN) Pure Hypothetical Syllogism (HS) Disjunctive Syllogism (DS) Addition (Add) De Morgan's Rule (DM) Commutativity (Com) Transposition (Trans) Material Implication (Impl) Material Equivalence (Equiv) Exportation (Exp) Constructive Dilemma (CD) Associativity (Assoc) Tautology (Taut) Conditional Proof (ACP + CP) Indirect Proof (AIP + IP) Universal Instantiation (UI) Universal Generalization (UG) Existential Instantiation (El) Existential Generalization (EG) Quantifier Negation (QN) 7
Expert Answer:
Related Book For
Posted Date:
Students also viewed these accounting questions
-
3 4 5 6 7 8 9 10 11 12 13 A 14 Cost of the Asset 15 Life of the Asset in Years 16 Book Value of the Asset after 5 years 17 Depreciable Basis 18 Yearly depreciation 19 After tax Salvage Value in year...
-
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 Mo's Motor Corp. issued $ 380,000 of 7%, 5-year bonds on April 1, 2021. Interest is payable semi-annually on April 1 and October 1. On April 1, 2023,...
-
3 4 5 6 7 8 9 10 11 12 13 14 15 4am-6am 6am - 8am 8am -10am 10am-12pm 12pm-2pm 2pm-4pm 4pm - 6pm 6pm - 8pm 8pm - 10pm Monday 2022 Daily Attendance Trends 50 125 100 90 75 62 125 125 75 Balance S...
-
Based on the information in Problems 9 and 10, what is Ryan and Nicoles liquidity ratio? What is their debt to asset ratio? Comment on each ratio. In Problems 10 Mortgage......... $ 43,500 Car...
-
1. List some advantages of keeping good financial records. 2. Name three financial records that might be best kept in a safe-deposit box.
-
Suppose again that Z = X + Y. Find fZ if (a) fx (x) = fy(2) = x/2, if 0
-
Fun-Tastic Shows, Inc., is a company that hosts carnivals and similar events. Susan Swartwood, Crystal Groth, and a minor (named in the case as M.G.S.) attended Fun-Tastics Rhododendron Festival in...
-
a. Create a spreadsheet model for this problem and solve it. b. What is the optimal trading plan? c. What is the optimal transaction cost (in equivalent USD)? d. Suppose that another executive thinks...
-
3. A 200 kg roller coaster starts from rest at the top of the first hill at a height of 20 m above the ground. The second hill is 15 m above the ground. a. A physics student in line for the ride...
-
(1) You've done a great job modeling our new SIM system! I'd like to consider the possibility of an off-the-shelf solution. Let's see what software is out on the market. I'd like you to research...
-
Using Hitchen's info from the income statement budgets (part 1), the remaining account info is presented to prepare the components of the balance sheet budgets. Assume the same budget is expected for...
-
What are the social media platform's. What are the advantage and disadvantage. ? Explain briefly
-
You own 300 shares of Western Feed Mills stock valued at $45.90 per share. What is the dividend yield if your total annual dividend income is $322?
-
A firm's stock has a market capitalization of 385 million and an equity beta of 0.6. Bonds issued by the firm have a yield rate of 6.4%. Bonds with a similar debt rating have a default rate of 4.3%...
-
Use the benefit/cost ratio criterion and a minimum acceptable rate of return (m) of 12% per year, to choose the best of the following alternatives: Alternatives Initial investment Net income at the...
-
Use the benefit/cost ratio criterion and a minimum acceptable rate of return (m) of 12% per year, to choose the best of the following alternatives: Alternatives initial investment Net income at the...
-
Describes trading approaches of some of the high-profile quants hedge funds, their successes and failures. Identify an impact of a specific quants strategy on traditional brokerage firms. Explain why...
-
Drainee purchases direct materials each month. Its payment history shows that 65% is paid in the month of purchase with the remaining balance paid the month after purchase. Prepare a cash payment...
-
Predict the major products of the following reactions. (a) (E)-3-methyloct-3-ene + ozone, (CH3)2S (b) (Z) -3- methyloct-3ene + warm, concentrated KMnO4 (d) I-ethylcycloheptene +ozone, then (CH3)2S...
-
Circle the isoprene units in geranial, menthol, camphor, and abietic acid.
-
Using hex-1-ene as your starting material, show how you would synthesize the following compounds. (Once you have shown how to synthesize a compound, you may use it as the starting material in any...
-
Long Weekend Ltd suffered a severe drop in sales and profit performance for the year ended 30 June 2019. The income statement revealed that net sales were $1 500 000 with a profit of $310 000. Unit...
-
TMP Human Resource Consulting had the following contribution margin income statement for the year ended 2019. Required Answer each of the following independent situations. (a) Explain how an...
-
Selcombe, Selcombe and Selcombe Media are three generations of the one family involved for nearly 50 years in providing public relations services. The firm is preparing its fees budget for the year...
Study smarter with the SolutionInn App