For example, in a three-valued logic, sometimes the two greatest truth-values (when they are represented as e.g. positive integers) are designated and the rules of inference preserve these values.
На пример, кај тривредносната логика, понекаде двете најголеми вистинитосни вредности (кога се претставени како, на пример позитивни цели броеви) се назначени и правилата на инференција ги зачувуваат овие вредности.