O Mtodo Axiomtico em Cincias

Mauri C. Nascimento Depto. Matemtica - UNESP/Bauru

02/03/2006

O mtodo axiomtico consiste em fazer uma coleo completa de proposies e conceitos bsicos de onde derivaro as outras proposies e conceitos, por deduo e por definio. Esta coleo chamada sistema de axiomas. Um sistema de axiomas deve ser consistente, isto devemos ter certeza que atravs de inferncias lgicas nunca chegaremos a uma contradio. Um sistema de axiomas consiste de dois grupos de expresses: os conceitos primitivos e os postulados ou axiomas. Um conceito primitivo um conceito que aceitamos sem explicao de seu significado. Por exemplo, ponto, reta e plano so conceitos primitivos da Geometria. Um axioma uma proposio a respeito dos conceitos primitivos que aceitamos verdadeira sem que seja justificada sua validade. Por exemplo, Por dois pontos distintos de um plano passa uma e uma s reta" um axioma da Geometria euclidiana. Quando se faz uma teoria axiomtica procura-se tomar como axiomas proposies que so aparentemente evidentes. Em geral, considera-se que num sistema de axiomas deve aparecer axioma suprfluo, isto no deve ter um axioma que possa ser deduzido dos outros axiomas. Tambm no deve ter conceito primitivo possa ser explicado a partir de outros conceitos primitivos. Podemos introduzir novos conceitos cujos significados fiquem especificados a partir dos conceitos primitivos. A sentena que determina o significado de um novo conceito chamada definio. Por exemplo, Duas reta so concorrentes quando tm um e um s ponto em comum". Podemos considerar tambm novas proposies sendo verdadeiras desde que sua validade seja justificada a partir dos axiomas, conceitos primitivos e definies. Estas proposies so chamadas teoremas e a justificao de sua validade chamada uma prova ou demonstrao.

Axiomas: Axioma 1 Axioma 2 Axioma 3 Axioma 4 Axioma 5 Axioma 6 Axioma 7 Axioma 8 Axioma 9

K K. Se K L e L M ento K M. KL M se, e somente se, K M e L M. M LK se, e somente se M L e M K. K(LM) (KL)(KM). K U. K. U K K C. K KC .

Destes axiomas derivam vrios teoremas Teorema 1 KK K. Prova. Pelo Axioma 1, temos que K, logo KK e KK. Aplicando agora o Axioma 3 (substituindo L e M por K), temos que KKK. Teorema 2 K KK. Prova. Da mesma forma que no teorema anterior, temos que KK e KK. Aplicando aqui o Axioma 4 (substituindo M e L por K) temos que KKK. Teorema 3 K KL e L KL. Prova. Pelo Axioma 1, KL KL. Assim, pelo Axioma 3 (tomando M=KL) KKL e LKL. Teorema 4 KL L e KL K. Prova. Pelo Axioma 1, KLKL. Assim, pelo Axioma 4 (tomando M=KL), KLK e KLL. Teorema 5 KL LK. Prova. Pelo Teorema 3 temos K LK e L LK, ento pelo Axioma 3, KL LK. Teorema 6 KL LK. Prova. anloga prova do Teorema 5, usando o Teorema 4 e Axioma 4. Teorema 7 Se L M, ento KL M. Teorema 8 Se L M, ento KL KM. Teorema 9 KL K(LM). Teorema 10 (KL)(KM) K(LM). Definio 1 K = L se, e somente se, K L e L K. Teorema 11 K = K. Teorema 12 Se L = K ento K = L. Teorema 13 Se K = L e L = M, ento K = M. Teorema 14 KK = K. Teorema 15 KK = K. Teorema 16 KL = LK. Teorema 17 KL = LK. Teorema 18 K(LM) = (KL)(KM). Teorema 19 KKC = U. Teorema 20 KKC = . Bibliografia: [1] Introduction t Logic - Alfred Tarski. [2] Philosophy of Mathematics and Natural Science Herman Weyl.

Exemplo.
Conceitos Primitivos (e notaes) Classe Incluso de classes ( ) Unio de classes ( ) Interseo de classes ( ) Complemento de uma classe ( C ) Classe vazia ( ) Classe universal ( U ) Notao: Classes sero denotadas por letras maisculas.