TEOREM



Verilen varsay─▒mlara dayan─▒larak kan─▒tlanmas─▒ gereken bir h├╝k├╝mden olu┼čan ├Ânerme. p bir do─čru ├Ânerme olsun. Bu durumda “p var ise q vard─▒r” ┼čeklindeki bir ifade teoremdir. Burada p hipotez, q h├╝k├╝md├╝r.

Teoremin kan─▒tlanabilmesi i├žin; tan─▒m, aksiyom ya da ba┼čka ├Ânermelerden yararlan─▒l─▒r. Kan─▒t yolu genellikle p=1′den hareketle q=1 oldu─čunu g├Âstermektir.

─░LG─░L─░ KONULAR

├ľnerme



Arkada■řna Yolla
Yazřcř Dostu Sayfa