Teorem

08/12/2009 20:17

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

Kategoriler:

Genel Kültür

Yukarı Git »

Önceki Konu:
Teokrasi

Sonraki Konu:
Tepedenli Ali Paşa

Yapılan Yorumlar

Henüz kimse yorum yapmamış.

Bu sayfada yer alan bilgilerle ilgili sorularınızı sorabilir, eleştiri ve önerilerde bulunabilirsiniz. Yeni bilgiler ekleyerek sayfanın gelişmesine katkıda bulunabilirsiniz.