Skip to content

Instantly share code, notes, and snippets.

@jasonsemko

jasonsemko/gist:6803968

Created October 3, 2013 02:47
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 jasonsemko/6803968 to your computer and use it in GitHub Desktop.
Save jasonsemko/6803968 to your computer and use it in GitHub Desktop.
Download ZIP
Flying Birds
Raw
gistfile1.txt
Claim: Not all birds can fly.
Assume all birds b can fly fly()
∀b(fly(b))
However, chickens cannot fly, so the statement is false as:
∃b(¬fly(b))
Because one bird cannot fly, the statement "Not all birds can fly" is true.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment