Anaeklemi (?) tümel-evetleme eklemi olan bileşik önerme. || Birli tümel-evetleme ile birli evetleme eşdeğer eklemlerdir. (?) p = p olduğundan her yalınç önerme bir birli tümel-evetleme ile eşdeğerdir. Ancak p gibi bir yalınç önermenin (?) bileşik önermesi ile eşdeğer olması p nin kendisinin bileşik olmasını gerektirmez. (?)
TDK Mantık Terimleri Sözlüğü