Programming unit for a truth value processing system.

摘要

A programming unit according to the invention is equipped with a truth value display device (147) which includes a plurality of length display sections (151) of a number equal to the number of types of a plurality of functions used by consequents of implications in modus ponens-type inferences, and a display circuit for performing control in such a manner that a given truth value is displayed by length on a corresponding length display section. By virtue of this truth value display device, inferential circumstances for each implication can be observed and it is possible to grasp the suitability of each implication rule and judge whether the rule is suitable or not.