Our official system of propositional logic, as we developed it in class: . The symbols of...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Our official system of propositional logic, as we developed it in class: . The symbols of the language are: 1. The atomic formulas: A₁, A2, A3, ... 2. The connectives: and →. 3. The grouping symbols: (and). • The formulas of the language are defined as follows: 1. Every atomic formula is a formula. 2. If a is a formula, so is (-a). 3. If a and 3 are formulas, so is (a → B). 4. Nothing else is a formula. • The logical axioms are defined as follows. Suppose a, 6, and y are any formulas of the language. Then the following are logical axioms: A1. (a (→ a)) A2. ((a → (→)) → ((a → B) → (a →y))) A3. (((B)→ (a)) → (((¬B) → a) → B)) • The sole rule of prodecure is Modus Ponens (MP): Given formulas of the language a and (a → 3), we may infer 3. • If I is a set, possibly empty, of formulas of the language and a is a formula of the language, then a deduction or proof of a from the set of hypotheses I, written as I a (or as a if I = 0), is a finite sequence of formulas of the language, say 91, 92, ..., Pn, with Pn being a, such that each kis 1. a hypothesis, i.e. k EI, or 2. a logical axiom, or 3. follows from preceding formulas in the sequence by Modus Ponens, i.e. there are i, j k such that ; is (ik). 2. Construct deductions in (our version of) propositional logic from the given hypotheses to the given conclusions in each of the following cases: a. Hypotheses: (a → ß) and (B →7); Conclusion: (a → ß). [3] b. Hypotheses: none; Conclusion: ((−(−y)) → y). [3] Our official system of propositional logic, as we developed it in class: . The symbols of the language are: 1. The atomic formulas: A₁, A2, A3, ... 2. The connectives: and →. 3. The grouping symbols: (and). • The formulas of the language are defined as follows: 1. Every atomic formula is a formula. 2. If a is a formula, so is (-a). 3. If a and 3 are formulas, so is (a → B). 4. Nothing else is a formula. • The logical axioms are defined as follows. Suppose a, 6, and y are any formulas of the language. Then the following are logical axioms: A1. (a (→ a)) A2. ((a → (→)) → ((a → B) → (a →y))) A3. (((B)→ (a)) → (((¬B) → a) → B)) • The sole rule of prodecure is Modus Ponens (MP): Given formulas of the language a and (a → 3), we may infer 3. • If I is a set, possibly empty, of formulas of the language and a is a formula of the language, then a deduction or proof of a from the set of hypotheses I, written as I a (or as a if I = 0), is a finite sequence of formulas of the language, say 91, 92, ..., Pn, with Pn being a, such that each kis 1. a hypothesis, i.e. k EI, or 2. a logical axiom, or 3. follows from preceding formulas in the sequence by Modus Ponens, i.e. there are i, j k such that ; is (ik). 2. Construct deductions in (our version of) propositional logic from the given hypotheses to the given conclusions in each of the following cases: a. Hypotheses: (a → ß) and (B →7); Conclusion: (a → ß). [3] b. Hypotheses: none; Conclusion: ((−(−y)) → y). [3]
Expert Answer:
Answer rating: 100% (QA)
a To prove the conclusion a B from the hypotheses a B and B7 we ca... View the full answer
Related Book For
Microeconomics An Intuitive Approach with Calculus
ISBN: 978-0538453257
1st edition
Authors: Thomas Nechyba
Posted Date:
Students also viewed these accounting questions
-
Suppose that A1, A2 , A3 , and B are events where A1 , A2 , and A3 are mutually exclusive and P (A1) =.2 P (A2) =.5 P (A3) = .3 P (B A1) = .02 P (B A2) =.05 P( B A3 )=.04 Use this information to find...
-
The nuclei involved in the nuclear reaction A1 + A2 A3 + A4 have the binding energies E1, E2, E3, and E4. Find the energy of this reaction.
-
A1 and A2 represent ammeters with negligible resistance. What are the values of the currents? (a) In A1 (b) In A2? 2.00 10.0 2.00 > 3.00 12> 6.0012 2.00
-
John Wilson is a conservative investor who has asked your advice about two bonds he is considering. One is a seasoned issue of the Capri Fashion Company that was first sold 22 years ago at a face...
-
Why are adjustments made to the invoice price of goods when determining the cost of inventory?
-
Assume that you are advising a Turkish firm on corporate financial questions and that you do not believe that the Turkish stock market is efficient. Would you recommend stock price maximization as...
-
You are trying to value the same building based on comparable properties sold in recent years. There have been six property sales of buildings of comparable size in the surrounding area. a. Estimate...
-
The following were selected from among the transactions completed during the current year by Danix Co., an appliance wholesale company: Jan. 21. Sold merchandise on account to Black Tie Co., $28,000....
-
Question 4 You just inherited a trust that will pay you $100,000 per year in perpetuity. However, the first payment Not yet will not occur for exactly five more years. Assuming a 10% annual interest...
-
Solve Prob. 411 using singularity functions. Use statics to determine the reactions. Prob. 411, A simply supported beam loaded by two forces is shown in the figure. Select a pair of structural steel...
-
Practice Exercise 95 Further problems on the binomial series In Problems 1 to 5 expand in ascending powers of x as far as the term in x3,using the binomial theorem. State in each case the limits of x...
-
You are designing a high-availability solution for an Azure SQL deployment. You need to recommend an Azure SQL deployment option that minimizes how long it takes to perform a database backup. Which...
-
Calculate the total fixed cost of the shipping department of Shareef & Co. based upon the following information for the year 2020: Salaries Rs.800,000 75 percent of employees on guaranteed contracts...
-
Given the acquisition cost of product Dominoe is $31, the net realizable value for product Dominoe is $28, the normal profit for product Dominoe is $2, and the market value (replacement cost) for...
-
What are auditing capabilities available in SQL Server? Which is considered a remediation server? For SQL Server what security design considerations should be considered before installation?
-
1) Please use motivation theories to analyze how WalMart motivates its employees. 2) Please conduct a SWOT analysis for WalMart and discuss reasons for WalMart's bad reputation over the years. 3)...
-
The stockholders' equity section on the December 31 balance sheet of Chemfast Corporation reported the following amounts: Contributed Capital Preferred Stock (par $20; authorized 10,000 shares, ?...
-
Why is inventory management important for merchandising and manufacturing firms and what are the main tradeoffs for firms in managing their inventory?
-
In Section B of the text, we developed a model of tastes for diversified goods and then applied a particular functional form for such tastes to derive results, some of which we suggested hold for...
-
In the U.S., Presidential elections are not won by the candidate who wins the popular vote nationally. (If they were won in this way, Al Gore would have become President in 2000.) Rather, each state...
-
Suppose you have $200 in discretionary income that you would like to spend on ABBA CDs and Arnold Schwarzenegger DVDs. A. On the way to work, you take your $200 to the Wal-Mart and buy 10 CDs and 5...
-
The following trial balance has been extracted from the books of Patt plc as at 31 March 2010: Additional information: 1. Following the preparation of the above trial balance, the following...
-
What are three economic factors that influence what people buy?
-
What are at least five strategies followed by smart shoppers.
Study smarter with the SolutionInn App