×

equivalence operator

eşdeğerlik bağlacı

  1. İki mantıksal önermenin eşdeğer olduklarını göstermek için kullanılan ve ⇔ olarak gösterilen simge.
    Eşanlam:  eşdeğerlik eklemi
    İngilizce biconditional connective; equivalence connective; equivalence operator
    Fransızca connecteur d'équivalence, m; connectif biconditionnel, m
    Almanca Koimplikator, m; Äquivalenz Junktor, m