Tümleme

Mantık bağlacı tümleme, bir önermenin doğruluk değerini tersine çeviren işlemdir. P önermesi doğru ise ¬P yanlış, yanlış ise ¬P doğru olur. Bu işlem, elektronik devrelerde DEĞİL kapısı ile gerçekleştirilir.1

Tümleme, mantıkta tekli (birli) bir bağlaç olarak tanımlanır ve doğruluk tablosuyla ifade edilir. Örneğin, p ve q önermeleri için ¬(p ∧ q) ifadesi, p ⊻ q (dışlayıcı veya) bağlacına eşdeğerdir.12

Küme teorisinde ise A’ (tümleyen), A kümesine ait olmayan elemanları temsil eder ve mantıktaki tümleme işlemiyle doğrudan ilişkilidir.2