Hacker News new | past | comments | ask | show | jobs | submit login

Doesn't that evaluate as true if A and B are contradictions and C is a tautology?

Whatever A⇔B⇔C means, surely it shouldn't allow for that.




Why not? The sky if green if and only if pigs can fly if and only if water is wet. The sky if green if and only if pigs can fly is true. True if and only if water is wet is true.


Ok, you've got a point, I've just never seen it used that way (though too be fair, I haven't often seen it used, probably for the reasons we're discussing).




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: