Y
Hacker News
new
|
ask
|
show
|
jobs
by
pickledish
1277 days ago
For you and anyone else who might be curious, it has its roots in formal math / logic! This page has a good rundown:
https://en.m.wikipedia.org/wiki/Necessity_and_sufficiency#Si...