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.

Tümleme [mantık] örneği

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:

$P$	$\neg P$
Doğru	Yanlış
Yanlış	Doğru