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...
-
Womble, Inc. has beginning inventory of $ 2 0 0 and an ending inventory of $ 4 0 0 for a given period in which it purchased $ 1 3 , 4 0 0 of materials. What is the dollar amount of materials used in...
-
To find the best arrangement of equipment at the rear of a fire truck, 3 different arrangements were tested by simulating a fire condition and observing the reaction time required to extinguish the...
-
So the project involves more than simply performing maintenance work on the current programs, Chip says. Are we using a formal methodology for analyzing and designing the new system? Yes, replies...
-
The length of nylon rope from which a mountain climber is suspended has a force constant of 1.5010 4 N/m. Given his mass plus the mass of his equipment are 87.6 kg, how much would this rope stretch...
-
Fred and Sally Merrit recently inherited a substantial amount of money from a deceased relative. They want to use part of this money to establish an account to pay for their daughters college...
-
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...
-
Refer to the IHS Journal of Hydraulic Engineering (September 2012) study of water pipes susceptible to breakage, Exercise 10.31. Recall that civil engineers used simple linear regression to model y =...
-
Two balls, Ball A with mass m and Ball B with mass 6 m , are suspended by light strings of length L . Ball B is initially hanging at rest. Ball A is pulled back to horizontal then released from rest....
-
In the mechanism shown, a bent lever CBD is pivoted at the fixed point C. The angle CBD is 90 The crank rotates anticlockwise at 180 rpm about fixed point O. The crank pin A slides in a closely...
-
niap F0 = f(0) kilograms of fuel. It is released from an orbiter at time zero at height H0 = h(0) with an initial downwards velocity of zero. It must touch down at less than 1 metre per second. Its...
-
Find y(t) = x(t) h(t) for the following signals, where u(t) is unit step signal. x(t) =2u(t) 2u(t - 2) h(t) = u(t+2) - u(t - 1)
-
A perfectly competitive firm faces a price of 14 per unit. It has the following short run cost schedule: Output 0 1 2 3 4 5 6 Total Cost 10 18 24 30 38 50 64 91 120 Find the following: i) Marginal...
-
A nurse practitioner took a sample of five people from the population of people with high blood pressure and measured their systolic blood pressures as 140, 144, 148, 156, and 162 with a mean of...
-
On average there are four traffic accidents in a city during one hour of rush-hour traffic. Use the Poisson distribution to calculate the probability that in one such hour there arc (a) No accidents...
-
(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?
-
Under what conditions would the National Building Code (N.B.C.) be used, as opposed to the Ontario Building Code (O.B.C.)?
-
Each month I have to lie on my expense report in order to get reimbursed for an honest business lunch," is example of?
-
Secondary Analysis: This week visit the Keizer Online Library and find a full-text article on secondary analysis in research. Find a full-text article, download it, highlight it, and upload it to the...
Study smarter with the SolutionInn App