Tümleme (mantık)
Mantıkta, tümleme ya da değilleme verilen bir P önermesini "P değil" (\neg P) önermesine dönüştüren bir işlemdir. Bu yeni önerme P 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.