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) *
international services in education şeklinde açılımı olan afs gibi liseler arası öğrenci değişim programı. genellikle amerika'ya gönderir öğrencilerini. isteyenler italya,belçika,malta gibi yerleri de tercih edebilir.
