多値論理
( φ → [ 1 ] ψ ) ⇔ ( φ → ψ ) {\displaystyle (\phi \rightarrow [1]\psi )\Leftrightarrow (\phi \rightarrow \psi )}
( φ → [ i + 1 ] ψ ) ⇔ ( φ → ( φ → [ i ] ψ ) ) {\displaystyle (\phi \rightarrow [i+1]\psi )\Leftrightarrow (\phi \rightarrow (\phi \rightarrow [i]\psi ))}
によって定義した場合、古典論理や直観主義論理ではどのnでも、真偽値は変わらないが、ウカシェヴィチの論理では真偽値はnに依存し、その値は max ( ( 1 − a ) n + b , 1 ) {\displaystyle \max((1-a)n+b,1)} となる。
特に、φが0,1以外の真偽値をとる場合、あるmが存在して、nがm以上の場合に ( φ → [ n ] ψ ) {\displaystyle (\phi \rightarrow [n]\psi )} に真となる性質がある。