Skip to content

Instantly share code, notes, and snippets.

@yuitest

yuitest/命題論理の復習.txt

Created May 13, 2014 12:16
Show Gist options
  • Save yuitest/18125e147e967d81744c to your computer and use it in GitHub Desktop.
Save yuitest/18125e147e967d81744c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
命題論理の復習.txt
(人間, 哺乳類),
(哺乳類, 脊椎動物),
1. A -> (B -> A)
2. (A -> (B -> C)) -> ((A -> B) -> (A -> C))
1 (哺乳類 -> 脊椎動物) -> (人間 -> (哺乳類 -> 脊椎動物))
MP 人間 -> (哺乳類 -> 脊椎動物)
2 (人間 -> (哺乳類 -> 脊椎動物)) -> (人間 -> 哺乳類) -> (人間 -> 脊椎動物)
MP (人間 -> 哺乳類) -> (人間 -> 脊椎動物)
MP 人間 -> 脊椎動物
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment