teorem

hipotezlerden dedüktif (tümdengelimsel) çıkarımla elde edilen önermelere verilen ad. matematikseldir, doğruluğu kanıtlanabilendir. aksiyomlar ise doğruluğu ispatsız kabul edilen önermelerdir, Mantık ve matematikte teorem ispatında öncül işlevi gören, doğruluğu açık ve seçik olarak belirli olan ve bu nedenle ispatına gerek duyulmayandır...

teoreme tekrar dönersek; bir teoremin verilen kısmına hipotez (varsayım), ispatlanacak olan kısmına hüküm (yargı) denir. Bir teoremin hipotezinden hareketle hükmünün doğru olduğunu göstermeye teoremi ispatlamak denir.

hülasa; p ⇒ q, bir teorem ise p, teoremin hipotezidir, q ise hükmüdür...

https://www.eokultv.com/t...-kavramlari-9-sinif/22408