Y gwahaniaeth rhwng diwygiadau o "Anwythiad mathemategol"

Jump to navigation Jump to search
Ychwanegwyd 2 feit ,  4 o flynyddoedd yn ôl
teipio bler, fel arfer
(Newydd)
 
(teipio bler, fel arfer)
Dull o ymresymu, trwy dynnu casgliad o enghreifftiau mathemategol yw '''anwythiad mathemategol''', sy'n un o'r [[prawf mathemategol|profion mathemategol]] a ddefnyddir i brofi (neu wrthbrofi) datganiad mathemategol.
 
Er gwaethaf ei enw, mae anwythiad mathemategol yn ddull didynnu (''deduction''), nid ffurf o resymu anwythol. Mewn prawf trwy anwythiad mathemategol, profir un "achos sylfaenol", a phrofir "rheol anwytho" sy'n sefydlu bod unrhyw achos mympwyol yn awgrymu'r achos nesaf. Oherwydd y gall y rheol anwytho hwn gael ei gymhwyso dro ar ôl tro (gan ddechrau o'r achos sylfaenol profedig) gwelwn fod yr holl achosion yn medru cael eu profi.<ref>Cupillari, tud. 46.</ref>

Llywio