Select only one of the following arguments. Translate them into the blocks language and determine whether...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Select only one of the following arguments. Translate them into the blocks language and determine whether the conclusion is a first-order consequence of the premises. If it isn't, specify a counterexample situation that makes all the premises true and the conclusion false. If it is, give a formal proof using only the intro/elim rulesfor the connectives-no Con rules and no shortcuts. Submit your answers in a .jpg or .pdf file (you may handwrite or type and either take a picture or convert). If appropriate you may alternatively submit a .wld or .prf file (made in Tarski's world or Fitch). - Points: 30 points per answer = 30 points total for this section 1. Everything is large. Every cube adjoins b. Therefore, there are no large cubes that don't adjoin b. 2. If something is a cube, there is something to the right of it. There are at least two cubes. No cube is to the right of another. Therefore, at least two things aren't cubes. 3. If a thing is larger than an object, then that object is to the right of that thing. Some cubes aren't to the right of some dodecahedra. Therefore, some cubes aren't larger than some dodecahedra. Select only one of the following arguments. Translate them into the blocks language and determine whether the conclusion is a first-order consequence of the premises. If it isn't, specify a counterexample situation that makes all the premises true and the conclusion false. If it is, give a formal proof using only the intro/elim rulesfor the connectives-no Con rules and no shortcuts. Submit your answers in a .jpg or .pdf file (you may handwrite or type and either take a picture or convert). If appropriate you may alternatively submit a .wld or .prf file (made in Tarski's world or Fitch). - Points: 30 points per answer = 30 points total for this section 1. Everything is large. Every cube adjoins b. Therefore, there are no large cubes that don't adjoin b. 2. If something is a cube, there is something to the right of it. There are at least two cubes. No cube is to the right of another. Therefore, at least two things aren't cubes. 3. If a thing is larger than an object, then that object is to the right of that thing. Some cubes aren't to the right of some dodecahedra. Therefore, some cubes aren't larger than some dodecahedra.
Expert Answer:
Answer rating: 100% (QA)
1 Premises P1 x Lx P2 x Cx Bx Conclusion x Lx Bx Proof by Fitch P1 x Lx P2 x Cx Bx x Lx Bx 1 x Lx Pr... View the full answer
Related Book For
Organic Chemistry structure and function
ISBN: 978-1429204941
6th edition
Authors: K. Peter C. Vollhardt, Neil E. Schore
Posted Date:
Students also viewed these accounting questions
-
You are required to work on only one of the following scenarios. 1. School Lunch Objective: Ensure that all lunches are paid for that there is no misappropriation of sale proceeds or food. Assume...
-
One of the following esters cannot undergo the Claisen condensation. Which one? Write structural formulas for the Claisen condensation products of the other two. CH3CH2CH2CH2CO2CH2CH3 C6H5CO2CH2CH3...
-
One of the following dichloronorbornanes undergoes elimination much faster than the other. Determine which one reacts faster, and explain the large difference in rates. CI CI or CI CH3COH Cl Cl Cis...
-
Plainbank has $10 million in cash and equivalents, $30 million in loans, and $15 in core deposits. a. Calculate the financing gap. b. What is the financing requirement? c. How can the financing gap...
-
Oxford Inc. issues $4 million, 5-year, 8% bonds at 102, with interest payable on January 1. The straight-line method is used to amortize bond premium. (a) Prepare the journal entry to record the sale...
-
Suppose that the demand functions for two related products, A and B, are given by where pA and pB are the respective prices in dollars. Determine whether the products are competitive or...
-
Write the symbol for an atom or ion with: a. four electrons, four protons, and five neutrons. b. six electrons, seven protons, and eight neutrons.
-
Armand Company has the following projected costs for manufacturing and selling and administrative expenses: All costs are paid in month incurred except: direct materials, which are paid in the month...
-
Why is depreciation called the tax shield? How does this impact how cash flows are calculated?
-
You are trying to evaluate whether an existing, idle distillation column can be used for a separation for which it was not originally designed. Answer the following questions about this column: a....
-
The following data contains body temperature data for several patients in a sample 98.4 98.4 98.4 98.5 98.6 98.6 98.7 98.8 98.8 98.9 98.9 99 Perform a hypothesis test at the a= 0.1 level to examine...
-
A square - section test piece is being used in a tensile test. The width and breadth of the test piece are each 15 mm. Calculate the stress in the test piece when a load of 3150 N is applied.
-
Assume the following economy produces only skateboards and the year 1981 is the base year. . Year Quantity Produced Price 1981 75 $30 1982 100 $33 1983 125 $38 1984 150 $42 What is the nominal GDP...
-
A force of 1 Newton will cause a mass of 1 kg to have an acceleration of 1 m/s 2 . Thus it follows that a force of 5 Newtons applied to a mass of 5 kg will cause it to acquire an acceleration of?...
-
What is the impact on the accounting if the company is not a going concern?
-
How Artificial Intelligence can be used to improve returning in supply chain? Explain
-
Calculate the value of a six-month futures contract on a Treasury bond. You have the following information: (Do not round intermediate calculations. Round your answer to 3 decimal places.) Six-month...
-
Determine the resultant moment produced by the forces about point O. 0.25 m 0.125 m, 0 0.3 m- 60 F = 500 N F = 600 N
-
The ultraviolet spectrum of a 210 -4 M solution of 3-penten-2-one exhibits a * absorption at 224 nm with A = 1.95 and an n* band at 314 nm with A = 0.008. Calculate the molar absorptivities...
-
1 H NMR spectra C through F (see below) correspond to four isomeric alcohols with the mole cular formula C 5 H 12 O. Try to assign their structures. 1 MR 6 H 3 H 'H NMR 6 H 1 H 2 H 1.5 1.4 1.3 0.9...
-
The problem of double compared with single alkylation of ketones by iodomethane and base is mentioned in Section 18-4. Write a detailed mechanism showing how some double alkylation occurs even when...
-
Braddock Inc. had the following long-term receivable account balances at December 31, 2014. Note receivable from sale of division $1,500,000 Note receivable from offi cer 400,000 Transactions during...
-
On October 1, 2015, Arden Farm Equipment Company sold a pecan-harvesting machine to Valco Brothers Farm, Inc. In lieu of a cash payment Valco Brothers Farm gave Arden a 2-year, $120,000, 8% note (a...
-
Sandburg Company requires additional cash for its business. Sandburg has decided to use its accounts receivable to raise the additional cash and has asked you to determine the income statement...
Study smarter with the SolutionInn App