Hipotez ve hüküm nedir mantık? Hipotez, Hüküm, Teorem İspatı p hipotezi doğru olan p ⇒ q koşullu önermesine teorem denir. Teoremde verilen önerme (p) hipotez, ispatlanacak önerme (q) hüküm adını alır.
