«Աքսիոմ»–ի խմբագրումների տարբերություն

Ավելացվել է 116 բայտ ,  5 ամիս առաջ
Առանց խմբագրման ամփոփման
(Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.7)
Ժամանակակից [[տրամաբանություն|տրամաբանության]] մեջ աքսիոմն պարզապես մտահանգման ելակետն է<ref>"A proposition (whether true or false)" axiom, n., definition 2. ''Oxford English Dictionary'' Online, accessed 2012-04-28.</ref>:
 
[[Մաթեմատիկա]]յում աքսիոմ տերմինը օգտագործվում է երկու կապակցված, բայց տարբերակվող իմաստներով. [[#տրամաբանական աքսիոմներ"]] և [[#ոչ տրամաբանական աքսիոմներ"]]։ Տրամաբանական աքսիոմները որպես կանոն պնդումներ են, որոնք ենթադրվում է որ ճիշտ են այն տրամաբանության տիրույթով, որը նրանք սահմանում են (այսինքն (''<math>A''</math> և ''<math>B''</math>) հետևում է ''<math>A''</math>), մինչդեռ ոչ տրամաբանական աքսիոմները իրականում սահմանում են մասնակի մաթեմատիկական տիրույթի, ինչպիսին օրինակ թվաբանությունն է, հատկությունները (<math>1= ''a'' + ''b'' = ''b'' + ''a''</math>)։ Աքսիոմ, պոստուլատ և ենթադրություն իմաստները փոխադարձ փոխարինելի են։
 
== Տես նաև ==
* [[Աքսիոմատիկ մեթոդ]]
 
== Ծանոթագրություններ ==
{{ծանցանկ}}
 
{{ՀՍՀ|հատոր=2|էջ=166}}
[[Կատեգորիա:Մաթեմատիկական հասկացություններ]]
 
Անանուն մասնակից