Matemaatiline maailmapilt
qi
aga võimatu, sest > 1 iga i {1, . . . ,s} korral.
p1 q1 pr qr
· Seega r = s ja = ,..., = .
7. LOENG
Tõestamise erinevad meetodid
· Otsene tõestus
o Matemaatiline induktsioon
o Tõestus alamjuhtude põhjal
· Kaudne tõestus
o Kontrapositiivne tõestus
o Vastuväiteline tõestus
· Ekvivalentsi tõestus
· Mitme samaväärsuse tõestus
· Olemasolu tõestus
o Konstruktiivne olemasolu tõestus
o Mittekonstruktiivne olemasolu tõestus
Otsene tõestus
PQ
Eeldame, et P on tõene ja näitame, et siis on ka Q tõene
Iga järgmine samm toetub eelnevalt näidatud sammule või olemasolevale faktile.
Loogiliselt õiges järjekorras arutledes jõutakse lõpuks tulemuseni.
Lause
annaabi.ee 
