Untitled
Untitled Untitled
palavras-chave resumo geometria plana,sistema axiomático, axioma, termo primitivo, interpretação, modelo Um sistema axiomático é uma estrutura lógica organizada constituída por termos primitivos, axiomas, termos definidos, um sistema de regras de inferência e teoremas ou proposições. Um modelo para um sistema axiomático é uma interpretação desse sistema, consistindo na atribuição de significados particulares aos termos primitivos, de modo a que os axiomas, lidos à luz desta interpretação, se tornem proposições verdadeiras. No presente trabalho apresentamos uma hierarquização de geometrias planas, desde as geometrias abstractas até às geometrias neutras ou absolutas. Faremos uma breve referência às geometrias Euclidiana e hiperbólica planas, cujos sistemas axiomáticos são categóricos. Por fim, apresentaremos o plano cartesiano real e o semiplano de Poincaré como modelos para as geometrias Euclidiana e hiperbólica, respectivamente.
keywords abstract plane geometry, axiomatic system, axiom, undefined term, interpretation, model An axiomatic system is an organized logical structure consisting of undefined terms, axioms, defined terms, a system of inference rules and theorems. A model for an axiomatic system is an interpretation of this system, consisting of the attribution of particular meanings to the undefined terms, in order that the axioms, read in the light of this interpretation, become true propositions. In this work we will present plane geometries, from abstract to neutral or absolute geometries. We will make a brief reference to Euclidean and hyperbolic plane geometries, whose axiomatic systems are categorical. Finally, we will present the real cartesian plane and Poincaré half plane as models for the Euclidean and hyperbolic geometries, respectively.
- Page 8: keywords abstract plane geometry, a
- Page 11 and 12: keywords abstract plane geometry, a
- Page 13 and 14: keywords abstract plane geometry, a
- Page 16 and 17: ¡ ¡ ¡
- Page 18 and 19: ¡ ¡ ¡
- Page 20 and 21: ¥
- Page 22 and 23: ¥
- Page 24 and 25: ¥
- Page 26 and 27: ¥
- Page 28 and 29: ¥
- Page 30 and 31: ¥
- Page 32 and 33: ¡ ¡ ¡
- Page 34 and 35: ¥
- Page 36 and 37: ¥
- Page 38 and 39: ¥
- Page 40 and 41: ¥
- Page 42 and 43: ¥
- Page 44 and 45: ¥
- Page 46 and 47: ¥
- Page 48 and 49: ¥
- Page 50 and 51: ¥
palavras-chave<br />
resumo<br />
geometria plana,sistema axiomático, axioma, termo primitivo, interpretação,<br />
modelo<br />
Um sistema axiomático é uma estrutura lógica organizada constituída por<br />
termos primitivos, axiomas, termos definidos, um sistema de regras de<br />
inferência e teoremas ou proposições. Um modelo para um sistema axiomático<br />
é uma interpretação desse sistema, consistindo na atribuição de significados<br />
particulares aos termos primitivos, de modo a que os axiomas, lidos à luz<br />
desta interpretação, se tornem proposições verdadeiras.<br />
No presente trabalho apresentamos uma hierarquização de geometrias planas,<br />
desde as geometrias abstractas até às geometrias neutras ou absolutas.<br />
Faremos uma breve referência às geometrias Euclidiana e hiperbólica planas,<br />
cujos sistemas axiomáticos são categóricos. Por fim, apresentaremos o plano<br />
cartesiano real e o semiplano de Poincaré como modelos para as geometrias<br />
Euclidiana e hiperbólica, respectivamente.