İki önermeden yeni bir önerme kurmaya yarayan yöneten deyim. || Dizimsel türü: (...) Krş. tümel- evetleme eklemi, tikel-evetleme eklemi, koşul eklemi, karşılıklı-koşul eklemi, bağdaşmazlık eklemi, tümel değilleme, tekil evetleme, evrik koşul, koşul değillemesi, evrik koşul değillemesi, ikili birinci -bileşen evetlemesi, ikili birinci-bileşen değillemesi, ikili ikinci-bileşen evetlemesi, ikili ikinci-bileşen değillemesi, ikili geçerlilik eklemi, ikili tutarsızlık eklemi. Örn. =>(koşul eklemi).
TDK Mantık Terimleri Sözlüğü