TENYA -> ŞERİT
TEOLOJİ -* İLAHİYAT •
TEOREM, p önermesinin doğruluk değerinin (1) olması halinde 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=Â,8,Ğ, ABC üçgeninin iç açılarıdır; q = Â + B + C = 180° dir. Önermelerinde p =>q teoremi sözle “A, B ve C, ABC üç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, ispat yolu genellikle p = 1’den hareketle q = 1 olduğunu göstermektir. Kimi zaman q?t\1 varsayarak ç>f\ olduğu bulunur ve gerçekte p = l olduğuna göre qf1 olamaz denerek teorem ispatlanır. OLMAYANA ERGİ YÖNTEMİ
TEPKİLİ MOTOR -* JET MOTORU TEPKİLİ UÇAK -» JET TEPKİME -* KİMYASAL TEPKİME,
