Tümleme (mantık)

Vikipedi, özgür ansiklopedi
Tümleme [mantık] örneği

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[değiştir | kaynağı değiştir]

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:

Doğru Yanlış
Yanlış Doğru