2003-12-26 論理学(@信州大学) prog http://markun.cs.shinshu-u.ac.jp/learn/logic/index-j.html 信州大学の講義らしいです。「IMP」と「EQV」ってそういう意味だったのね……(VBにあった)。