tümel-evetlemeli yasal biçim

Her anabileşeni ayrı bir tikel-evetlemeli kurucu bileşen olan n-li tümel-evetleme. || Hiç bir (boş olmayan) tümel-evetlemeli yasal biçim doğrusal geçerli değildir. Temel mantıklı dillerde her geçersiz önerme (boş olmayan) tümel-evetlemeli bir yasal biçim ile eşdeğerdir. Tümel-evetlemeli yasal biçimlerde kurucu bileşenlerin arasındaki tümel-evetleme imi yazılmaz. Örn. (?) üçlü tümel-evetleme, (...) birli tümel-evetleme, p (kurucu bileşeni bir birli tikel-evetlemeye eşdeğer olan) birli tümel-evetleme olan yasal biçimlerdir. Krş.. tümel-evetlemeli tam yasal biçim, tümel-evetlemeli en kısa bir yasal biçim.