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...
-
Selzer& Hollinger, a legal services firm, is considering outsourcing its payroll function. It has received a bid from ABC Payroll Services, Inc., for $18,000 per year. ABC Payroll will provide all...
-
The balance sheet data for Bobs Electronics, Co., November 30, 2010, follow: Requirement 1. The following are three independent assumptions about the business during November. For each assumption,...
-
Liquid flow out of a spherical tank discharging through a valve can be described approximately by the following nonlinear differential equation: where the variables used arc consistent with other...
-
On December 31, 2024, Sheridan Company had 1,255,000 shares of $5 par common stock issued and outstanding. At December 31, 2024, stockholders' equity had the amounts listed here. Common Stock...
-
Maggie's Magazines (MM) has straight nonconvertible bonds that currently yield 9%. MM's stock sells for $22 per share, has an expected constant growth rate of 6%, and has a dividend yield of 4%. MM...
-
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...
-
Some media companies (especially in music and movie industries) run ads claiming that downloading or copying media is the same thing as stealing a DVD from a store. Lets see if this is the case. a....
-
Cline S.A. has just completed its annual planning and budgeting process and needs to raise 14 million to finance its capital expenditures for the coming year. The firm earned 5 million last year and...
-
An object attached to one end of a spring makes 25 complete oscillations in 5.0 seconds. What are its period and frequency?
-
Kookaburra Construction Limited is planning to pay dividends of \($665,000.\) There are 340,000 shares outstanding, and earnings per share is \($6.\) The stock should sell for \($55\) after the...
-
In July 2015, the CFO of Rmy Cointreau decided to distribute a stock dividend to its shareholders and set the overall dividend at 1.53 per share. Specifically, it was decided that the issue price of...
-
A shock wave advances into stagnant air at a pressure of 100 kPa and 300 K. If the static pressure downstream of the wave is tripled, what are the shock speed and the absolute velocity of the air...
-
(a) Show that if f(z) has a zero of order n > 1 at z = z 0 , then f'(z) has a zero of order n - 1 at z 0 . (b) Poles and zeros. Prove Theorem 4. (c) Show that the points at which a nonconstant...
-
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?
-
A sailboat costs $23,923. You pay 25% down and amortize the rest with equal monthly payments over a 15-year period. If you must pay 6.6% compounded monthly, what is your monthly payment? How much...
-
? 1 . ?Calculate Gross Revenue 2 . ?Calculate Total Revenue 3 . ?Calculate Expenses 4 . ?Calculate Net Operating Income 5 . ?Calculate Net Income Community Information Number of Apartments Monthly...
-
Two men, on either bank of a canal, pull a boat that moves at a constant speed on a straight path in the middle. The men pull through ropes with F 1 = F 2 = 300 N forces that make a 30 angle with the...
Study smarter with the SolutionInn App