Skip to content

Instantly share code, notes, and snippets.

@ryohji

ryohji/apparent-gibberish.md

Last active April 25, 2020 17:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ryohji/820df438bf3b917e3ec330d71ef324d1 to your computer and use it in GitHub Desktop.
Save ryohji/820df438bf3b917e3ec330d71ef324d1 to your computer and use it in GitHub Desktop.
Download ZIP
Make sense of the apparent gibberish in “A Logical Approach to Discrete Math” Ch.0
Raw
apparent-gibberish.md

Every value in array segment b[1..n] that is not in b[i..j] is in b[i..j].

Let predicate p(v) be "v is in b[i..j]."

  (A k: 0<k<=N: ~p(b[k]) -> p(b[k]))
=
  (A k: 0<k<=N: ~~p(b[k]) | p(b[k]))
=
  (A k: 0<k<=N: p(b[k]) | p(b[k]))
=
  (A k: 0<k<=N: p(b[k]))

Every value in array segment b[1..n] that is in b[i..j].

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment