birlikte değilleme

birlikte bölünmez sayılar, birlikte asal sayılar

(matematik)

çifte değilleme

(…)

değilleme

Mantıksal bir yargıda yüklemin özneye olan olumsuz bağlantısı; önermede yüklemin olumsuz olarak konması. Karşıtı bk. evetleme

değilleme eklemi

Doğru bir önermeden yanlış bir önermeyi, yanlış bir önermeden de doğru bir önermeyi oluşturan doğrusal birli eklem. || Değilleme eklemi (…)

değilleme önermesi

Anaeklemi değilleme olan bileşik önerme: (…)

genel değilleme kuralı

Bir tamdeyimin değillemesinin, bu tamdeyimdeki bütün eklem ile niceleyicileri ikilleri ile değiş tokuş edip çekirdek bileşenleri değillemekle elde edilen tamdeyimle eşdeğer olduğunu dile getiren mantık kuralı. || Örn. (…)

tümel değilleme

Ancak anabileşenlerinin tümü yanlış olduğunda doğru olan bir bileşik önermeyi oluşturan doğrusal İkili eklem: (...)||Tüm doğrusal eklemler bu eklem türüyle tanımlanabilir. Doğruluk çizelgesi: (…) Anl. birlikte değilleme.

bireyler arası birlikte değişirliknlik