から




IV-9 Edit

次の2つの論理式から、導出によって得られる論理式を選べ。

∀x(p(x)∨q(x))
¬p(a)∨r(b)

ただし,p,q,rは述語記号,a,bは定数記号,x,yは変数記号とする。

  1. ¬r(b)
  2. q(a)∨r(b)
  3. q(b)∨r(b)
  4. ∀x(q(x)∨r(b))
  5. ∀x(p(x)∨¬p(a))

memo Edit

Link Edit


Tag: 論理式



トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 下位頁新規  一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2010-02-22 Mon 23:18:50 JST (3156d)