Какво е двувалентно в математиката?

В математиката, особено в контекста на теорията на множествата и логиката, „бивалентен“ се отнася до нещо, което има две възможни стойности или изхода.

Например, двоично решение (да/не, вярно/невярно) е двувалентно, защото може да има само един от две възможни стойности. По същия начин двузначната логика е двувалентна, защото може да има само две възможни стойности на истина (вярно или невярно).

За разлика от това, троичната логика (с три възможни стойности на истина) е тривалентна, а n-стойностната логика (с n > 2 възможни истинни стойности) е n-валентен.

Терминът "бивалентен" произлиза от латинските думи "bi", което означава "две" и "valens", което означава "силен" или "мощен". За първи път е използван в този контекст от математика Готлоб Фреге в края на 19 век.