Anaeklemi (...) tikel-evetleme eklemi olan bileşik önerme. || Birli tikel-evetleme ile birli evetleme eşdeğer eklemlerdir. (?) olduğundan, her yalınç önerme bir birli tikel-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üğü