6. 7. 8. Use quantified predicates to express the following sentences. The sum of two negative...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
6. 7. 8. Use quantified predicates to express the following sentences. The sum of two negative integers will always be negative. For each positive integer, there doesn't exist any negative integer that has the same value as it. For any two integers, there is always another integer equals to their (the first two integers') product. a. b. C. Negate each predicate you created in question 6, then simplify them to remove the negation operators. While simplifying, clarify which logic rule(s) you use in each step. For each sub-question, please answer the following questions. Is state a proper for proposition / predicate e? If no, explain why; if yes, does o satisfy e? a. o = {p = T}, e = (r p) ^ (r p) b. T= = {p = F, q = T}, o = TU {r = F}, e=p^q C. 0 = = {b = 5, i = 0, x = 6}, e = x > b[i] d. o = {x = 5, b = (5,8)}, e = x + 1 = b[0] o = {p = T, b = a}, where a = (2,0, 4), e = p b[b[1]] = 2 JU e. 9. Find all states o (containing only bindings for p, q and r) such that o = p q r. Briefly explain each state you found. 10. Define predicate functions. a. Define predicate function isGreater (b, m, x) which returns True if and only if positive m is not larger than the length of array b, and integer x is greater than each of the first m numbers in b. For example, under state o = : {b = (2, 4, 1, 6)}, isGreater (b, 3, 5) returns True, isGreater (b, 3, 4) returns False. Remind that, you can use size (b) to find the length of array b. b. Define predicate function hasGreater (a, b) which returns True if and only if every integer in array a is greater than some integer in array b. For example, has Greater ((4, 5, 2, 3), (8, 1, 5, 8)) returns True. 6. 7. 8. Use quantified predicates to express the following sentences. The sum of two negative integers will always be negative. For each positive integer, there doesn't exist any negative integer that has the same value as it. For any two integers, there is always another integer equals to their (the first two integers') product. a. b. C. Negate each predicate you created in question 6, then simplify them to remove the negation operators. While simplifying, clarify which logic rule(s) you use in each step. For each sub-question, please answer the following questions. Is state a proper for proposition / predicate e? If no, explain why; if yes, does o satisfy e? a. o = {p = T}, e = (r p) ^ (r p) b. T= = {p = F, q = T}, o = TU {r = F}, e=p^q C. 0 = = {b = 5, i = 0, x = 6}, e = x > b[i] d. o = {x = 5, b = (5,8)}, e = x + 1 = b[0] o = {p = T, b = a}, where a = (2,0, 4), e = p b[b[1]] = 2 JU e. 9. Find all states o (containing only bindings for p, q and r) such that o = p q r. Briefly explain each state you found. 10. Define predicate functions. a. Define predicate function isGreater (b, m, x) which returns True if and only if positive m is not larger than the length of array b, and integer x is greater than each of the first m numbers in b. For example, under state o = : {b = (2, 4, 1, 6)}, isGreater (b, 3, 5) returns True, isGreater (b, 3, 4) returns False. Remind that, you can use size (b) to find the length of array b. b. Define predicate function hasGreater (a, b) which returns True if and only if every integer in array a is greater than some integer in array b. For example, has Greater ((4, 5, 2, 3), (8, 1, 5, 8)) returns True.
Expert Answer:
Related Book For
Posted Date:
Students also viewed these algorithms questions
-
CANMNMM January of this year. (a) Each item will be held in a record. Describe all the data structures that must refer to these records to implement the required functionality. Describe all the...
-
Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...
-
One type of systematic error arises because people tend to think of benefits in percentage terms rather than in absolute dollar amounts. As an example, Samir is willing to drive 20 minutes out of his...
-
Lankin Concrete Products Ltd. reported the correction of an error made in the year ended December 31, 2017. An inventory error caused net income of the prior year to be overstated by $50,000....
-
Two disputing neighbors employ a surveyor to check their boundary line. Discuss the surveyor's authority if (a) The line established is agreeable to both clients (b) The line is not accepted by one...
-
In August 2014, Superior Structures of Ohio, LLC, and its president, Ryan Villhauer, applied for credit with Willoughby Supply Company, Inc. The application contained a section providing for a...
-
Tool Co. is a medium-sized company that buys copper rod and plastic materials to produce insulated copper wiring. Tool Co. operates out of a single building of about 500,000 square feet that includes...
-
How do i make a ER digram like similar to the following using my relational model My Relational model is the following Has Applications ID Applications Applicant ID Job positions ID Employer ID Apply...
-
The figure shows reversed-phase retention data for three compounds. a. Identify whether compounds A, B, and C are weak acids or bases. For each compound, what is the pKap K a and the retention factor...
-
$1000 is deposited in a savings account that pays 6% annual interest, and no money is withdrawn for three years. The account balance after three years is most nearly
-
verify the KKT necessary conditions for the solution points and study the effect on the cost function of changing the boundary of the active constraint(s) by one unit. Minimize f(x1, x2) = 9x- - 18x1...
-
While working at the check-in counter, you overhear a team member being dishonest with a customer. The customer asked about a flight change, and your team member had informed her that there were no...
-
Emergency planning takes place on many levels (local, state, federal, private, and tribal). Which level of planning do you think is most critical in ensuring success if/when disaster strikes? Provide...
-
Is the relationship between sustainability matters, sustainability information and disclosures clear in ISSA 5000? If not, what suggestions do you have for making it clearer?
-
Based on the following information, calculate the sustainable growth rate for Kaleb's Heavy Equipment: Profit margin 8.8% Capital intensity ratio .65 Debt-equity ratio .6 $35,000 Net income Dividends...
-
Find the equations of motion for the system below. Assume the pinion (small gear) has radius r and a negligible mass moment of inertia J2, R2 B2 K M1 The rack (a linear "gear") has mass M1 By
-
The percentage of completion and completed contract methods are described in the FASB ASC. Search the codification to find the paragraphs covering these topics, cite them, and copy the results.
-
Check to see whether each number written in standard form matches the number written in words. If not, correct the number in words. See the Concept Check in this section. 1. 2. If a number is written...
-
The bar graph shows the top five chocolate-consuming nations in the world. Use this table to answer below Exercises. 1. Which country in the table has the least chocolate consumption per person? 2....
-
The graph below is called a double line graph (or a double broken-line graph.) Use this graph for below Exercises. 1. Overall, is the number of BEVs sold in the United States increasing or...
-
For Example 9.12, is an orthogonal solution possible? Compute \(\mathbf{E}^{-1}(z)\) for the proof. Example 9.12. Show the two-band lapped-transform structure that realizes the filter bank with...
-
In Example 9.12, we could attempt to generalize the orthogonal realization of the LOT by allowing the matrix \(\mathbf{L}_{1}\) of Figure 9.45 to be a full matrix and design a simple biorthogonal...
-
Propose an alternative and simpler structure to that of Figure 9.46 in Example 9.12. The simplified structure should be based on Equation (9.267). Example 9.12. Show the two-band lapped-transform...
Study smarter with the SolutionInn App