  Given the inf and the sup under the truth ordering, there are truth degree functions for a conjunction and a disjunction connective. A negation is, in a natural way, determined by a truth degree function which exchanges the degrees \(\{\bot\}\) and \(\{\top\}\), and which leaves the degrees \(\{\bot, \top\}\) and \(\varnothing\) fixed.