Anabileşenleri yalınç önerme ya da yalınç önerme değillemesi olan yinelemesiz tümel-evetleme. || Hiç bir tümel-evetlemeli kurucu bileşen doğrusal tutarsız değildir. Tümel-evetlemeli kurucu bileşende tümel-evetleme imi (cebirde çarpma imi için olduğu gibi) hiç yazılmayıp, değilleme imi bir çizgi olarak iigili anabileşenin üzerine konulur. Örn. (?)
TDK Mantık Terimleri Sözlüğü