Mantıkta bağlaçların bazı özellikleri: Ve (∧, &, ∙) bağlacı: İki önermenin de doğru olduğu durumda 1 değeri döndürür, diğer durumlarda 0 değeri döndürür. Değişme ve birleşme özelliklerine sahiptir. Veya (∨, ;) bağlacı: Önermelerden birinin doğru olduğu durumda 1 değeri döndürür. Tek kuvvet, değişme ve dağılma özellikleri vardır. Koşul (ise, →, ⇒, ⊃) bağlacı: p önermesi önceki, q önermesi sonraki olarak adlandırılır. p önermesi q için yeterli şart, q ise p için gerekli şarttır. Ancak ve ancak (iki yönlü koşullu, ↔, ≡, =) bağlacı: p ve q’nun değerleri aynı iken 1 değeri döndürür. Tümleme (değil, ¬, ~, ') bağlacı: Bir önermenin değerini tersine çevirir. Bağlaçlar arasındaki öncelik, parantezlerle veya belirli kurallara göre belirlenebilir.