negation
değilleme bağlacı
-
Doğru bir önermeden yanlış bir önermeyi, yanlış bir önermeden de doğru bir önermeyi oluşturan ~ bağlacı.
İngilizce negationFransızca négation, fAlmanca Negationsjunktor, m
mantıksal evirme
-
Önermeler cebirinde, P önermesi “doğru” olduğunda "P DEĞİL” ifadesinin yanlış, P “yanlış” olduğunda da "P DEĞİL" ifadesinin doğru olduğu birli Boole işlemi.
İngilizce logical inversion; negation; NOT operationFransızca inversion logique, f; négation, f; opération NON, fAlmanca boolesche Komplementierung, f; Negation, f
-
İşlediği mantıksal değişkenin olumsuzunu veren tekli Boole işlemi.
Eşanlam: mantıksal olumsuzlama; Boole tümleri
olumsuzlama
-
Önermeler cebirinde, verilen bir önermenin doğruluk değerinin tersine çevrilmesi.
İngilizce negationFransızca négation, fAlmanca Negation, f
- Tümcelerde yüklemin bildirdiğinin doğru ve/veya geçerli olmamasının biçimsel ifadesi; örneğin; Mehmet burada yok, Yağmur yağmıyor; Bugün erken kalkmayacağım; O avukat değil.