首先把条件真度由三值逻辑系统推广到连续值系统G(o)del和L*中,然后通过计算同时包含伴随对((⊕),→)的4个公式(p(⊕)q)→r,p(⊕)(......

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L＊中,然后通过计算同时包含伴随对（,→）的4个公式（pq）→r,p（q→r）,（p→q）r和p......