2) Consider the following geometry called T: Undefined Terms: point, line, incidence Axioms: I) There exist precisely three distinct points incident with every line II) Each point in T is incident with precisely two distinct lines III) There exists at least one point in T. i) show that there exist at least two non-isomorphic models for T. [Hi model and a 6-line model]

Elementary Geometry For College Students, 7e
7th Edition
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.
Chapter5: Similar Triangles
Section5.2: Similar Polygons
Problem 11E: a Does the similarity relationship have a reflexive property for triangles and polygons in general?...
icon
Related questions
Question

Specifically part 4 

2) Consider the following geometry called T:
Undefined Terms: point, line, incidence
Axioms:
I) There exist precisely three distinct points incident with every line
II) Each point in T is incident with precisely two distinct lines
III) There exists at least one point in T.
i) show that there exist at least two non-isomorphic models for T. [Hint: try to construct a 4-line
model and a 6-line model]
ii) show that the Euclidean property is independent of the axioms of T
iii) prove the theorem: there exist at least two distinct lines in T
iv)) Consider the statement A: For every point P and every point Q, not equal to P, there exists a
unique line incident with P and Q
*Is statement A a theorem in T? If so, prove it.
*State the negation of A (call it B). Is B a theorem in T? If so, prove it.
*Is A independent of the axioms of T? If so, prove this.
Transcribed Image Text:2) Consider the following geometry called T: Undefined Terms: point, line, incidence Axioms: I) There exist precisely three distinct points incident with every line II) Each point in T is incident with precisely two distinct lines III) There exists at least one point in T. i) show that there exist at least two non-isomorphic models for T. [Hint: try to construct a 4-line model and a 6-line model] ii) show that the Euclidean property is independent of the axioms of T iii) prove the theorem: there exist at least two distinct lines in T iv)) Consider the statement A: For every point P and every point Q, not equal to P, there exists a unique line incident with P and Q *Is statement A a theorem in T? If so, prove it. *State the negation of A (call it B). Is B a theorem in T? If so, prove it. *Is A independent of the axioms of T? If so, prove this.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Follow-up Questions
Read through expert solutions to related follow-up questions below.
Follow-up Question

can you please answser part iv to this question

Solution
Bartleby Expert
SEE SOLUTION
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
Algebra for College Students
Algebra for College Students
Algebra
ISBN:
9781285195780
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Holt Mcdougal Larson Pre-algebra: Student Edition…
Holt Mcdougal Larson Pre-algebra: Student Edition…
Algebra
ISBN:
9780547587776
Author:
HOLT MCDOUGAL
Publisher:
HOLT MCDOUGAL