BSTS / Mantık Terimleri Sözlüğü
birli tikel-evetleme anlamı İng. 1-place disjunction Alm. 1-stellige Disjunktion Fr. disjonction à 1- place
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.