Suppose that you want to keep track of individual pegs. For instance in the four hole situation below, the pegs are colored red, white, and blue, and are named PR, PW, and PB. The domain 12 is expanded to include pegs as well. Rewrite the language (i.e. the set of predicates) and restate the axioms to deal correctly with the behaviors of the individual pegs.
Answers
Answered by
0
Answer:
.....................
Answered by
0
Answer:
this is at most I can help...
Attachments:
Similar questions