>>102
論理と論理学は違う学問


練習問題： 指定された述語記号や関数記号を使って， 「　」内のそれぞれの文を一階述語論理式で表現せよ．

v(X) : X は野菜である，e(X) : 私は X を食べる
「野菜以外（の食べ物）は何でも食べます」
「野菜は食べません」
「食べる野菜も食べない野菜もあります」
p(X,Y) : X は Y の親である， X=Y : X と Y は同一人物である）
「どんな人にも，親がちょうど二人いる」
述語記号は数学の等号や不等号（＝，＜など），関数記号は数学の ×（掛算）， 定数記号は自然数および問題文に出てくる記号のみを使用
「k はm とn の公約数である」
「k は素数である」