News for hackers. Stuff that matters.

A comment on Three-Valued Logic. Parent comment

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.
[ Parent | on HN ]
Re:Three-Valued Logic by dvt on Friday December 15, 2017 @01:44PM (#15934017)
True. I should've mentioned that I was barring implication (as the context was SQL).
[ Parent | on HN ]