Hacker News new | ask | show | jobs
by stavros 984 days ago
What does "truth-preserving" mean in this context? That it will never produce false if either of the arguments is true?