matematiksel bir semboldür. "=>" ile gösterilir.
p=>q önermesinde, p önermesine q için yeter koşul, q önermesine de p için gerek koşul adı verilir.
*p ise q'dur
*p, q'yu gerektirir.
*p, q için yeterlidir.
*q, p için gereklidir.
ifadeleri de kullanılabilir.
ayrıca p=>q önermesinde "p" hipotez, "q" hüküm'dür.
matematikte kullanılan diğer bağlaçlar için:
(bkz: ancak ve ancak) (bkz: ve) (bkz: veya) *
