Suppose you are given the following axioms: 1. 0 3. 2. 7 9. 3. x
Question:
Suppose you are given the following axioms:
1. 0 ≤ 3.
2. 7 ≤ 9.
3. ∀x x≤ x.
4. ∀x x≤ x + 0.
5. ∀x x+ 0 ≤ x.
6. ∀ x, y x + y ≤ y + x.
7. ∀ w, x, y, z w ≤ y ∧ x ≤ z ⇒ w + x ≤ y + z.
8. ∀ x, y, z x ≤ y ∧ y ≤ z ⇒ x ≤ z
a. Give a backward-chaining proof of the sentence 7 ≤ 3 + 9. (Be sure, of course, to use only the axioms given here, not anything else you may know about arithmetic.) Show only the steps that leads to success, not the irrelevant steps.
b. Give a forward-chaining proof of the sentence 7 ≤ 3 + 9. Again, show only the steps that lead to success.
Fantastic news! We've Found the answer you've been seeking!
Step by Step Answer:
Answer rating: 71% (7 reviews)
This is quite tricky but students should be able to manage if they check eac...View the full answer
Answered By
Aysha Ali
my name is ayesha ali. i have done my matriculation in science topics with a+ . then i got admission in the field of computer science and technology in punjab college, lahore. i have passed my final examination of college with a+ also. after that, i got admission in the biggest university of pakistan which is university of the punjab. i am studying business and information technology in my university. i always stand first in my class. i am very brilliant client. my experts always appreciate my work. my projects are very popular in my university because i always complete my work with extreme devotion. i have a great knowledge about all major science topics. science topics always remain my favorite topics. i am also a home expert. i teach many clients at my home ranging from pre-school level to university level. my clients always show excellent result. i am expert in writing essays, reports, speeches, researches and all type of projects. i also have a vast knowledge about business, marketing, cost accounting and finance. i am also expert in making presentations on powerpoint and microsoft word. if you need any sort of help in any topic, please dont hesitate to consult with me. i will provide you the best work at a very reasonable price. i am quality oriented and i have 5 year experience in the following field.
matriculation in science topics; inter in computer science; bachelors in business and information technology
_embed src=http://www.clocklink.com/clocks/0018-orange.swf?timezone=usa_albany& width=200 height=200 wmode=transparent type=application/x-shockwave-flash_
4.40+
11+ Reviews
14+ Question Solved
Related Book For
Artificial Intelligence A Modern Approach
ISBN: 978-0136042594
3rd edition
Authors: Stuart Russell, Peter Norvig
Question Posted:
Students also viewed these Computer science questions
-
Suppose you are given the following business rules to form the basis for a database design. The database must enable the manager of a company dinner club to mail invitations to the club's members, to...
-
You are given the following data about a virtual memory system: (a)The TLB can hold 1024 entries and can be accessed in 1 clock cycle (1 nsec). (b) A page table entry can be found in 100 clock cycles...
-
Suppose you are given the observer space representation with matrix and vectors To find a transformation that diagonalizes A o use MATLAB function eigswhich calculates the eigenvalues and...
-
Define the necessary and sufficient condition for two transactions to be serialisable. Give an example of a non-serialisable execution of a pair of transactions. [3 marks] (c) Define the necessary...
-
On July 26, 2012, Bass Pro announced disappointing 2nd quarter earnings that caused the stock to fall 29% to all time lows. Although sales were up 1.2% to $953.2 million gross profit fell 16.6% to...
-
Use a truth table to determine whether the statement is a tautology, self contradiction, or neither. ~[(p q) q]
-
David Bowie, a sole trader, has extracted the following trial balance as at 31 January 20x7. Required 1 Prepare the profit and loss accounts for the year ended 31 January 20x7. 2 Prepare the balance...
-
A company is forecasting the purchase of inventory from an overseas vendor with payment to be made in a foreign currency (FC). Assume an option was used as a hedging instrument for this forecasted...
-
3M Company and Subsidiaries NOTE 10. Income Taxes Income before Income Taxes fillions) nited States iternational Total Provision for Income Taxes 2019 2018 2017 3,008 $ 3,487 $ 4.149 2,704 3,513...
-
Lenovo uses the ZX- 81 chip in some of its laptop computers. The prices for the chip during the past 12 months were as follows: a) Use a 2- month moving average on all the data and plot the averages...
-
These questions concern concern issues with substitution and Skolemization. a. Given the premise x y P(x, y), it is not valid to conclude that q P(q, q). Give an example of a predicate P where the...
-
The following Prolog code defines a predicate P. (Remember that uppercase terms are variables, not constants, in Prolog.) P(X, [X|Y]). P(X, [Y|Z]) :- P(X, Z). a. Show proof trees and solutions for...
-
[This is a variation of Exercise 5-13 focusing on the completed contract method.] On February 1, 2013, Arrow Construction Company entered into a three-year construction contract to build a bridge for...
-
12. Describe the organisational policy with regard to fire fighting procedures; the common causes of fire and what they can do to help prevent them 13. Describe the protective clothing and equipment...
-
The SEC is trying to get companies to notify the investment community more quickly when a "material change" will affect their forthcoming financial results. In what sense might a financial manager be...
-
A large corporation has just introduced metric requirements in its human resources department. HR is now to use these metrics to perform in-depth analysis to show patterns to justify investments in...
-
Bienestar, Inc., implemented cellular manufacturing as recommended by a consultant. The production flow improved dramatically. However, the company was still faced with the competitive need to...
-
Write a C program with the following features: 1) Create an array (named as arr1) with 100 integer elements from 1 to 100 2) Find the summation (sum) of all the odd integers in arr1 3) Search for the...
-
Solve the system. Use any method you wish. + 2? %3D 0 ? + D 6 * 2y =
-
Find the radius of convergence of? 1.2.3 1.3.5 (2n-1) r2n+1 -1
-
(This exercise was first devised by Michael Genesereth and Nils Nilsson. It works for first graders through graduate students.) Humans are so adept at basic household tasks that they often forget how...
-
Suppose that you are working with the robot in Exercise 26.ABMA above and you are given the problem of finding a path from the starting configuration of figure ?? to the ending configuration....
-
Does a small cell phone camera lens with an aperture of f/2 gather as much light from each patch in the scene as an f/2 lens on a large SLR camera that is taking an image of the same scene?
-
Project Risk Management Plan General Project Name: Project Sponsor: Project Manager: Risk Environment [Describe how your project supports your company's strategic plan and why the project is...
-
Current Attempt in Progress Blue Spruce Corp. issued $571,000 of 5-year, 5% bonds at 96 on January 1, 2022. The bonds pay interest annually. (a1) Your answer is correct. Prepare the journal entry to...
-
Net income Year 1 $24,000 Year 2 $34,000 Year $67,000 $57,000 $134,000 Compute the machine's payback period (ignore taxes). (Round payback period answ Computation of Annual Depreciation Expense Year...
Study smarter with the SolutionInn App