Re:Three-Valued Logic
by lifepillar on Friday December 15, 2017 @08:54AM
(#15931770)
K3 has no tautologies, but Ł3 does have tautologies, e.g. P->P.
True. I should've mentioned that I was barring implication (as the context was SQL).
*whereas in P3?
There are some interesting ramifications of these properties, including a lack of tautologies in K3 and Ł3.