>>100
syntaxとsemanticsとcontextくらい区別してからはじめたほうがいいんでないの
そうでないと>>88とかの話はポカーンだろ
¬p∧p≡Falseはひとつの主義だよ