Homework Help is Here – Start Your Trial Now!
Math
Geometry
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.

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
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.1: Sets And Geometry
Problem 35E
See similar textbooks
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

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer
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,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
SEE MORE TEXTBOOKS