 Proponents of many-valued logic approach this obligation with great industry. Precise new rules are introduced to calculate the truth value of compound statements that contain statements with intermediate truth-values. For instance, the revised rule for conjunctions assigns the conjunction the same truth-value as the conjunct with the lowest truth-value.These rules are designed to yield all standard theorems when all the truth values are 1 and 0. In this sense, classical logic is a limiting case of many-valued logic. Classical logic is agreed to work fine in the area for which it was designed—mathematics.