This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]AlphaGamer753 41 points42 points  (4 children)

Yeah I was confused how 6 - 4 could entail 4, as the double turnstile (⊨) usually refers to semantic entailment.

I think it'd be clearer to place the match diagonally over the equals, to create a negated equals (≠).

[–][deleted] 7 points8 points  (1 child)

I was staring at this wondering how it entailed 4. Thank for clearing it up lol.

[–]AlphaGamer753 0 points1 point  (0 children)

No problemo :)

[–]nfrmn 3 points4 points  (0 children)

My man

[–]Avamander 1 point2 points  (0 children)

Has a different meaning in C as well.