Teorem Nedir?
P önermesinin doğruluk değerinin (1) olması hâlinde p ? q gerektirmesine verilen ad. Teoremde p önermesi "hipotez", q önermesi de "hüküm" adıyla anılır ve hem hipotez hem de hüküm birer doğru önermedir. Örneğin p=A,B,C, ABC üçgeninin iç açılarıdır; q = ^A+ ^B + ^C = 180°'dir. Önermelerinde p ? q teoremi sözle "A, B ve C üçgeninin iç açıları ise, toplamları 180°'dir" biçiminde ifade edilir. Teorem, ispata muhtaç önermedir. İspat için tanım, aksiyom ya da başka teoremlerden yararlanılır. İspat yolu genellikle p=1'den hareketle q=1 olduğunu göstermektir. Kimi zaman q?1 varsayarak p=1 olduğu bulunur ve gerçekte p=1 olduğuna göre q?1 olamaz denerek teorem ispatlanır.
