# Question: Write down a sentence asserting that is a commutative

Write down a sentence asserting that + is a commutative function. Does your sentence follow from the Peano axioms? If so explain why: if not, give a model in which the axioms are true and your sentence is false.

## Answer to relevant Questions

Explain what is wrong with the following proposed definition of the set membership predicate €: The circuit representation in the chapter is more detailed than necessary if we care only about Circuit functionality. A simpler formulation describes any rn-input, n-output gate or circuit using a predicate with m + n ...One might suppose that we can avoid the problem of variable conflict in unification during backward chaining by standardizing apart all of the sentences in the knowledge base once and for all. Show that, for some sentences, ...In this exercise, we will look at the recursive application of rewrite rules, using logic programming. A rewrite rule (or demodulator in OTTER terminology) is an equation with specified direction. For example, the rewrite ...In this exercise, we will consider the problem of planning a route for a robot to take from one city to another. The basic action taken by the robot is Go (x, y), which takes it from City x to city y if there is a direct ...Post your question