The four valued logic

The Implication

The implication has considerably complex shape compared with that of binary logic.

However, this law of implication contains the implication of the binary logic as it is.

It is difficult to define the values of this implication,

which have the third valued proposition and the fourth valued proposition as a former and a later.

Especially, it is important that a fourth valued proposition implies a third valued proposition.