Mantık bağlacı

Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.

En sık kullanılan mantık bağlaçları iki cümleyi birleştirmek için kullanılan ikili bağlaçlardır. Sıkça kullanılan tümleme ise bir tekli bağlaçtır.

Bağlaçlar ve niceleyiciler, mantık sistemlerinde kullanılan ana sabit çeşitleridir. Mantık bağlaçları anlamsal olarak çoğunlukla doğruluk fonksiyonu ile ifade edilir, ancak bunun geçerli olmadığı durumlar da vardır.

Yaygın mantık bağlaçları
Yaygın olarak kullanılan mantık bağlaçları ve gösterimleri:
 Tümleme (değil): ¬ , ~,'
 Birleşme (ve):  ∧ , & , ∙
 Ayrılma (veya): ∨, ;
 Koşul (ise): →, ⇒ , ⊃
 İki koşulluluk (ancak ve ancak): ↔ , ≡ , =

Örnek olarak hava yağışlı ve ben evdeyim cümleleri mantık bağlaçları kullanılarak aşağıdaki gibi değiştirilmiştir (P = hava yağışlı, Q = ben evdeyim):
 Hava yağışlı değil ().
 Hava yağışlı ve ben evdeyim ().
 Hava yağışlı veya ben evdeyim ().
 Hava yağışlı ise ben evdeyim ().
 Ben evde isem hava yağışlı().
 Ben evdeyim ancak ve ancak hava yağışlıysa().

Ayrıca hep doğru ve hep yanlış sabitleri de bağlaç olarak sınıflandırılır:
 Doğru(⊤, 1, T)
 Yanlış (⊥, 0, F)

Öncelik sırası

Bağlaçlar arasındaki öncelik parantezlerle belirlenebileceği gibi, aşırı parantez kullanımını önlemek için öncelik kuralları kullanılabilir: ¬ bağlacı ∧ bağlacından, ∧ bağlacı ∨ bağlacından, ∨ bağlacı → bağlacından daha yüksek önceliğe sahiptir. Örneğin,  ifadesi  ifadesinin kısaltılmış halidir.

Aşağıdaki tablo yaygın olarak kullanılan mantık işleçleri arasındaki öncelik sırasını göstermektedir.

Ancak, bütün yazarlar aynı sıralamayı kullanmayabilir: Örneğin, ayrılma bağlacının (∨) koşul bağlacından (→) daha düşük önceliğe sahip olduğu bir sıralama kullanılmıştır. Bazen ayrılma ile birleşme bağlaçları arasındaki öncelik belirsiz bırakılarak parantez kullanımı zorunlu kılınır. Öncelik sırası, bir mantık formülü yorumlanırken hangi bağlacın "ana bağlaç" olduğunu belirler.

Ayrıca bakınız 
 Matematiksel mantık
 Önerme
 Boole tanım kümesi

Kaynakça