Teorem koşullu önerme midir? Hipotez, Hüküm, Teorem İspatı p hipotezi doğru olan p ⇒ q koşullu önermesine teorem denir.