«Մաթեմաթիկական ապացոյց» խմբագրումներու միջեւ տարբերութիւն
Content deleted Content added
Տող 39.
== Մեթոդներ ==
=== Ուղիղ ապացույց ===
Ուղիղ ապացոյցի մէջ եզրակացութիւնը դուրս կը բերէ տրամաբանօրէն զուգակցելով աքսիոմները, սահմանումները և վաղ օրէնքները։<ref>Cupillari, p. 20.</ref> Օրինակ, ուղիղ ապացոյցը կարող է օգտագործուիլ ապացուցելու որ երկու զոյգ թիւերու գումարը միշտ զոյգ է։
Ենթադրենք x և y զոյգ թիւեր են։ Քանի որ անոնք զոյգ են, ապա կարող են ներկայացուիլ x = 2a և y = 2b, ուր a և b ամբողջ թիւեր են։ Ուստի x + y = 2a + 2b = 2(a+b). Այսպիսով x+y ունի 2 գործակից և ըստ սահմանման զոյգ է։ Հետևաբար երկու զոյգ թիւերու գումարը զոյգ է։
Այս ապացոյցը կ'օգտագործէ զոյգ թիւերու սահմանումը, գումարման, բազմապատկման և բաշխելիութեան նկատմամբ ամբողջ թիւերու բազմութեան փակ ըլլալը։
=== Ապացոյց մաթեմաթիկական մակածութեանի (induction) միջոցով ===
| |||