Tümleme (mantık): Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
By erdo can (mesaj | katkılar) |
Görsel öneri özelliği: 1 görsel eklendi. Etiketler: Görsel Düzenleyici Yeni kullanıcı görevi Yeni gelen görevi: görsel ekleme |
||
1. satır:
[[Dosya:Venn10.svg|küçükresim|Tümleme [mantık] örneği]]
[[Mantık]]ta, '''tümleme''' ya da '''değilleme''' verilen bir <math>P</math> [[önerme]]sini "<math>P</math> değil" (<math>\neg P</math>) önermesine dönüştüren bir [[işlem]]dir. Bu yeni önerme <math>P</math> doğru olduğunda [[Yanlış (mantık)|yanlış]], yanlış olduğunda [[Doğru (mantık)|doğru]] [[Doğruluk değeri|değerine]] sahip olur. Dolayısıyla, tümleme birli (tek argümanlı) bir [[mantık bağlacı]]dır.
| |||