Tümleme
Mantık Bağlacı
Yazeka
3 farklı kaynaktan alınan bilgiyle göre
Mantık bağlacı tümleme, bir önermenin doğruluk değerini tersine çeviren bağlaçtır. Değil (NOT) olarak adlandırılır ve p önermesinin değili p' şeklinde gösterilir.12
Örneğin, "A değildir" ifadesinde A önermesi yanlış kabul edilir. Bu bağlaç, matematiksel ifadelerin analizinde ve algoritmalarda koşullu yapıların oluşturulmasında kullanılır.1
Tümleme, önermenin olumsuzunu ifade eder ve doğruluk tablosunda diğer bağlaçlardan farklı bir işleve sahiptir.23