Bir koşullu önermede, hipotezin doğru olduğu durumda hükmün de doğru olması gerektiğini ifade eden kavram nedir?