აქსიომა: განსხვავება გადახედვებს შორის
[შეუმოწმებელი ვერსია] | [შეუმოწმებელი ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
მ Bot: Migrating 79 interwiki links, now provided by Wikidata on d:q17736 (translate me) |
No edit summary |
||
ხაზი 1:
'''აქსიომა''' (''[[ბერძნული ენა|ბერძ.]]'' tà tôn progónon axiómata = აღიარებული დებულება)
დედუქციურ მეცნიერებაში აქსიომას დისციპლინის საწყის დებულებას უწოდებენ. სიცხადისა და სიმარტივის გამო ამ დისციპლინაში იგი მართებულობის დაუმტკიცებლად ჭეშმარიტადაა მიჩნეული.
[[ლოგიკა]]სა და [[მათემატიკა]]ში აქსიომა უეჭველი სიმართლე შესაძლოა არ იყოს, არამედ უფრო ფორმალური ლოგიკური გამოხატულებაა [[დედუქცია|დედუქციური]] მტკიცებისა, რომელიც გარკვეულ შედეგს იწვევს. მათემატიკაში ანსხვავებენ ორის სახის აქსიომას: [[ლოგიკური აქსიომა|ლოგიკურ აქსიომას]] და [[არა-ლოგიკური აქსიომა|არა-ლოგიკურ აქსიომას]].
== იხილეთ აგრეთვე ==
*[[თეორემა]]
== ლიტერატურა ==
* Mendelson, Elliot (1987). ''Introduction to mathematical logic.'' Belmont, California: Wadsworth & Brooks. ISBN 0-534-06624-0
== რესურსები ინტერნეტში ==
* [http://us.metamath.org/mpegif/mmset.html#axioms ''Metamath'' axioms page]
[[კატეგორია:ლოგიკა]]
|