> > 「全てのｶﾗｽは黒い」を命題と見なせば命題論理の範疇で処理可能だと思うが(;´Д`)
> お前の命題論理は全称量化と存在量化に関する変化規則を持つのか

AとかEを使って式を書くのかいな(;´Д`)

参考：2008/10/19(日)04時31分36秒