birli tümel-evetleme
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. ( )
birli tümel-evetleme için benzer kelimeler
birli tümel-evetleme, 20 karakter ile yazılır. Ayrıca,
b harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise,
'b', 'i', 'r', 'l', 'i', ' ', 't', 'ü', 'm', 'e', 'l', '-', 'e', 'v', 'e', 't', 'l', 'e', 'm', 'e', şeklindedir.
birli tümel-evetleme kelimesinin tersten yazılışı emelteve-lemüt ilrib diziliminde gösterilir.