31. - 35. Let R represents color red, O represents color orange, and Y represents color yellow. In the axiomatic structure, the undefined terms are R, O and Y. Likewise, x is defined as any strings of O's and Y's. There are four axioms: 1. If a string of letters ends in O, you may add Y at the end. 2. If you have Rx, then you may add x to get Rxx. 3. If 3 O's occur, that is O00, then you may substitute Y in the place. 4. If YY occurs, you drop it. Using a paragraph proof, given that RO0OYYO000O, prove ROOY.

Elementary Geometry For College Students, 7e
7th Edition
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.
ChapterP: Preliminary Concepts
SectionP.CT: Test
Problem 1CT
icon
Related questions
Question
Let R represents color red, O represents color orange, and Y represents color yellow.
In the axiomatic structure, the undefined terms are R, O and Y.
Likewise, x is defined as any strings of O's and Y's.
There are four axioms:
31. – 35.
1. If a string of letters ends in O, you may add Y at the end.
2. If you have Rx, then you may add x to get Rxx.
3. If 3 O's occur, that is O0O, then you may substitute Y in the place.
4. If YY occurs, you drop it.
Using a paragraph proof, given that ROOOYYO0000, prove ROOY.
Transcribed Image Text:Let R represents color red, O represents color orange, and Y represents color yellow. In the axiomatic structure, the undefined terms are R, O and Y. Likewise, x is defined as any strings of O's and Y's. There are four axioms: 31. – 35. 1. If a string of letters ends in O, you may add Y at the end. 2. If you have Rx, then you may add x to get Rxx. 3. If 3 O's occur, that is O0O, then you may substitute Y in the place. 4. If YY occurs, you drop it. Using a paragraph proof, given that ROOOYYO0000, prove ROOY.
Expert Solution
steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Similar questions
Recommended textbooks for you
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Elementary Geometry for College Students
Elementary Geometry for College Students
Geometry
ISBN:
9781285195698
Author:
Daniel C. Alexander, Geralyn M. Koeberlein
Publisher:
Cengage Learning