Skip to content

Instantly share code, notes, and snippets.

@neizod

neizod/lecture.md

Created October 9, 2012 08:44
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 neizod/3857418 to your computer and use it in GitHub Desktop.
Save neizod/3857418 to your computer and use it in GitHub Desktop.
Download ZIP
Mathematical Thinking
Raw
lecture.md

Logic

  • S => N
    • S is called antecedent.
    • S is sufficient for N.
    • N is necessary for S.
  • S <=> N
    • S is sufficient and necessary for N
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment