Introduction

Traditional binary-valued logic [16,20,21,32] has two values, corresponding to true and false. For many-valued logics, it is not obvious to give the intuitive understanding of the other values than true and false. For three-valued logic [4,5,10,31,34,35], some explained the third value as unknown, or uncertain, and daily life does not intuitively use the third value, not to say to deduce or reason in three-valued logic.