Tümleme (mantık)

Mantıkta, tümleme ya da değilleme verilen bir  önermesini " değil" () önermesine dönüştüren bir işlemdir. Bu yeni önerme  doğru olduğunda yanlış, yanlış olduğunda doğru değerine sahip olur. Dolayısıyla, tümleme birli (tek argümanlı) bir mantık bağlacıdır.

Tümleyen işlemi elektronik devrelerde DEĞİL kapısı ile gerçekleştirilir.

Tanım 
Tümlemenin tanımı konusunda bir fikir birliğine varılamamıştır. Ancak, klasik mantıkta verilen bir mantıksal değeri, genellikle bir önermeyi, değiştiren bir işlem olarak tanımlanır. İşlenen değer doğru ise çıktısı yanlış, işlenen değer yanlış ise çıktısı doğru olur. Bunun doğruluk tablosuyla ifadesi şudur:

Mantık bağlaçları
Anlambilim
Dilbilgisi