Bağlaç (Mantık)

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.

Kaynak:

Vikipedi

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.