What can be confusing is that the statement "for every x in {}, it *doesn’t* hol... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		layer8 4 days ago \| parent \| context \| favorite \| on: Finding a bug in Dummit and Foote's Abstract Algeb... What can be confusing is that the statement "for every x in {}, it doesn’t hold that <anything>" is always true as well.
		help

tim-kt 4 days ago [–]

I mean, yes. But "it doesn't hold that <anything>" is equivalent to "it holds that <not anything>" and since not anything is also anything... Ah, I see.

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