2007年07月05日

やっと

申し込み終わった。
すっきりしたー。
posted by noumea at 23:05| 東京 ☀| Comment(0) | TrackBack(0) | 技術士 | このブログの読者になる | 更新情報をチェックする

H17 情報 第9問

IV-9
次の2つの論理式から,導出によって得られる論理式を選べ。
    ∀x(p(x)∨q(x))
    ¬p(a)∨r(b)
ただし,p,q,rは述語記号,a,bは定数記号,x,yは変数記号とする。

@ ¬r(b)
A q(a)∨r(b)
B q(b)∨r(b)
C ∀x(q(x)∨r(b))
D ∀x(p(x)∨¬p(a))


解答:A


述語論理に関する問題。
論理式の意味は、
 (1) ∀x(p(x)∨q(x))→全てのxについて、p(x)またはq(x)が成り立つ
 (2) ¬p(a)∨r(b)→p(a)の否定またはr(b)が成り立つ

(2)において、p(a)の否定が成り立つ場合、(1)でp(a)が成り立たないので
q(a)が成り立つことになる。
(2)において、r(b)が成り立つ場合、p(a)の否定が成り立たないので、
(1)でp(x)が成り立つ条件に反しない。
したがって、q(a)またはr(b)が成り立つ。
posted by noumea at 09:00| 東京 ☀| Comment(0) | TrackBack(0) | 技術士過去問 | このブログの読者になる | 更新情報をチェックする
×

この広告は1年以上新しい記事の投稿がないブログに表示されております。