- 締切済み
包摂(subsumption)
やや筋違いかもしれませんが，プログラミング，論理学，数学（？）の境目のような疑問です． 一階述語論理の演算に包摂(subsumption)という演算がありますが，この定義が今ひとつわかりません．ある本によると「論理式Aが論理式Bを包摂するとは，ある代入θがあってAθ⊆Bとなることだ」と書いてありました．しかし2つの論理式の包含関係というのは，どういう意味なのでしょうか？つまりAθもBも論理式であるわけですが，その間に⊆という演算が成立するということは，どいういう意味なのでしょう？A，Bをtrueにするインスタンスの集合という観点からの包含関係なのでしょうか？
- kuutti
- お礼率66% (2/3)
- 数学・算数
- 回答数1
- ありがとう数2
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- stomachman
- ベストアンサー率57% (1014/1775)
そもそも「包摂」は一階述語論理の演算ではありませんで、この用語は典型的には「導出原理」の理論に出て来ます。「導出原理」は一階述語論理で書かれた命題を機械的(つまり自動的)に証明（または反駁）する方法です。その際、「論理式Aが論理式Bを包摂する」のではなくて、「節Aが節Bを包摂する」。そして「節」とは「リテラル（すなわち原子式もしくは原子式の否定）」という記号列を要素とする有限集合であって、これは一連の機械的操作において論理式（という記号列）をパーツにバラして扱うための手段です。 という訳で、証明の対象となる一階述語論理と、証明の方法の理論と（さらには論理式の意味論（モデル(解釈)の理論）も？）を混同なさっているようにお見受けします。「一階述語論理」という形式言語をじっくり復習した上で、「導出原理」等の自動証明アルゴリズムの勉強に取りかかる方が宜しいかと思います。
関連するQ&A
- 論理演算について質問
何度もすみません。 また質問します。これで最後にしたい、、 質問１：&&や||等の論理演算子は、その両側にある2つの“boolean型の式（関係式等）”に対して論理演算を行う。 評価は、両側の式に対して並列に行うのではなく、１つづつ行って行く。 因みに、||は「論理式」を論理演算するこどができる。例えば、 int a=1,b=0,c=0のとき a==1 && b==3 || a==1 && b==0 の論理式があったとします。 この論理式の||は、即に演算されたa==1 && b==3とa==1 && b==0の論理式を演算の対象としている。 質問２：「評価」と「論理演算」って意味は同じですか？違いますか？違うならその違いは？ 質問３：a==1 && b==0 || （a==1 && b==0）の論理式は、先に（a==1 && b==0）の論理式を論理演算すると思ってました。でも、以前そのような仮説をもって質問したら、回答者の方に実際違うと指摘されました。何故ですか？だって（）の中の論理式なんだから、優先的に演算されるはず。
- ベストアンサー
- Java
- 論理演算について質問
int a=1,b=0,c=0のとき a==1 && b==0 || （a==1 && b==0） a==1 && b==0 &&c==0 && b==0 の2つの論理式あったとします 質問１：&&や||は、その間にある２つの関係式や２つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか？ 質問２：上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか？ a==1 && b==0 はtrue ↓ 左から２番目の&&は、左の論理式（a==1 && b==0）の演算結果であるtrueと関係式c==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、、結果true ↓ 左から３番目の&&は、左の論理式（a==1 && b==0 &&c==0 ）の演算結果であるtrueと右の関係式b==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、結果true 質問３：上記前者の論理式a==1 && b==0 || （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？ （a==1 && b==0）はtrue ↓ a==1 && b==0 はtrue ↓ ||は、右の論理式（（a==1 && b==0））の演算の結果trueと左の論理式（a==1 && b==0）の演算結果trueを計算し（つまり論理演算の結果同士であるtrue２つを演算）、結果true
- ベストアンサー
- Java
- 論理演算について質問
最初に、前回同じ質問に答えてくださった方へ、いろいろな人から僕の仮説のコンセンサスを得たいので、再度同じ質問しますね。 int a=1,b=0,c=0のとき a==1 && b==0 | （a==1 && b==0） a==1 && b==0 &&c==0 && b==0 の2つの論理式あったとします 質問１：&&や||は、その間にある２つの関係式や２つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか？ 質問２：上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか？ a==1 && b==0 はtrue ↓ 左から２番目の&&は、左の論理式（a==1 && b==0）の演算結果であるtrueと関係式c==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、、結果true ↓ 左から３番目の&&は、左の論理式（a==1 && b==0 &&c==0 ）の演算結果であるtrueと右の関係式b==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、結果true 質問３：前者の論理式、a==1 && b==0 | （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？ （a==1 && b==0）はtrue ↓ a==1 && b==0 はtrue ↓ |は、右の論理式（（a==1 && b==0））の演算の結果trueと左の論理式（a==1 && b==0）の演算結果trueを計算し（つまり論理演算の結果同士であるtrue２つを演算）、結果true
- ベストアンサー
- Java
- 論理演算子の関係式を結ぶ個数について質問
int a=1,b=0,c=0のとき a==0 && (b==0 || c==0) a==0 && b==0 || c==0 の2つの論理式あったとします 質問１：前者の論理式の論理演算子である&&は、a==0と(b==0 || c==0)をつないでるイメージですか？ 質問２：後者のa==0 && b==0 || c==0の論理式の||は、a==0 && b==0とc==0をつないでるイメージですか？ 質問３：論理演算子は、その論理演算子からみて左方向にある関係式全てと右にある 関係式１つを結ぶものですか？ただし、（）の中に複数の関係式がある場合、その複数の関係式を１括りにしていい。（例えば質問１の前者の例）
- ベストアンサー
- Java
- 優先順位の概念について質問
質問１：優先順位や結合の規則とは、本質的に「優先順位の高い演算子ほど、オペランドをより先に結び付けられる」であり、「演算実行の優先順位」ではありませんよね？ 何故そう思ったかというと次の論理式をご覧ください。 a==1 && b==0 || a==1 && b==0 ※int a==1,b==0 この論理式がtureになるプロセスとして、 a==1を評価→true ↓ b==0を評価→true ↓ &&は、a==1 && b==0の論理式をtrueと評価 ↓ ||は、左側の論理式a==1 && b==0がtrueだから、論理式全体がtrueだと判断し、 右側の論理式の評価を行わない。 プロセスとして、こうだと思うんですけど、優先順位として||は&&より低いですよね？ 優先順位が「演算実行の優先順位」を意味するならば、右側の論理式のa==1 && b==0を評価してから||の演算をするはずで矛盾します。 よって、優先順位とは本質的に、「優先順位の高い演算子ほど、オペランドをより先に結び付けられる」であり、「演算実行の優先順位ではない」といえる。 質問２：「優先順位の高い演算子ほど、オペランドをより先に結び付けられる」であれば、例えば、上記の論理式の左側を例に挙げていえば、 b==0は&&と||の２つが共有してるが、&&の方が優先順位が高いから、b==0を先に結び付けてる、その意味でも「優先順位の高い演算子ほど、オペランドをより先に結び付けられる」 は正しいですか？
- ベストアンサー
- Java
- 論理演算について質問
int a=1,b=0,c=0のとき a==1 && b==0 || （a==1 && b==0） の論理式あったとします 質問１：&&や||の論理演算子について、その『両側』にある２つの関係式を「１つ１つ評価」することにより論理演算する。この認識で正しいですか？ 質問２：論理式 a==1 && b==0 || （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？ （a==1 && b==0）のa==1を評価しtrue、次にb==0を評価しtrue。 よってこの論理式はtrue ↓ a==1 && b==0 のa==1 を評価しtrue、b==0 を評価しtrue。 よってこの論理式はtrue ↓ ||は、右の論理式（（a==1 && b==0））がtrueで左の論理式（a==1 && b==0 ）もtrueだから、論理式全体はtrueで確定しているので、評価を行わない。
- ベストアンサー
- Java
- 「評価」とはどういう意味ですか？
質問１：初心者にわかりやすいように説明してください。 言語仕様書みてもちんぷんかんぷんでした。。 質問２：評価とは、主に２つの意味があり、1つ目は「演算子がオペランドを演算する事」、2つ目は、式を構成する変数やリテラルについて「その値がいくつであるかを得ること」でしょうか？ 例えば、論理演算について、int a=1,b=0,c=0のとき、a==1 && b==3 || a==1 && b==0の論理式があったとします。このとき、評価とは a==1がtrueがfalseかを評価する、→trueの値を得る。 こういった意味でしょうか？ 質問３：「リテラルを評価する」というのはどういうことでしょうか？
- ベストアンサー
- Java
- String型の変数に代入されている２つの文字列を論理演算したいです。
String型の変数に代入されている２つの文字列を論理演算したいです。 上記の通りなんですけど 例えば String a = "あいうえお"; String b = "aiueo"; このような二つの文字列を論理演算したあと 16進数の文字列としてあらたな変数（String型）に代入したいのですが どのように記述すればよろしいでしょうか？ 初心者なものでわかりやすく説明していただけるとありがたいです。
- ベストアンサー
- Java
- 真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが
もし論理Aと理論Bがある場合、考えられ得る論理演算は全部で何通りあって、その真理値表がわからないんですが教えてください！真理値表の演算式も合わせてお願いします！
- 締切済み
- 数学・算数
- 論理演算子の変数等を結ぶ個数について質問
int a=1,b=0,c=0のとき a==0 && (b==0 || c==0) a==0 && b==0 || c==0 の2つの論理式あったとします 質問：論理演算子は、必ず「左右２つの変数しかつなげない」のですか？ 例えば、前者の論理演算子なら、&&は、a==0とb==0をつないでる。 後者の論理演算子なら、||はb==0 とc==0をつないでる。 質問２：質問１の仮説が正しいとすると、前者も後者も論理演算子&&は、論理演算子||とb==0を共有してますよね？
- ベストアンサー
- Java
