p gibi bir önermenin tümel-evetlemeli en kısa bir yasal biçim olması, p nin tümel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin alt tikel-evetlemesi olan, p ile doğrusal eşdeğer q gibi başka bir tümel-evetlemeli yasal biçimin bulunmaması demektir. || (?)
TDK Mantık Terimleri Sözlüğü