締切済み 記号論理学 推論図 タブロー体系 2011/07/15 21:56 T￢A⊃B この式をタブロー体系で表すとどうなるのでしょうか？ ￢がつくとわからないのですが、教えてほしいです(__ みんなの回答 （1） 専門家の回答 みんなの回答 nkmrtky ベストアンサー率0% (0/0) 2011/07/20 23:10 回答No.1 F￢A Tb TA 通報する ありがとう 0 広告を見て他の回答を表示する（0） カテゴリ 学問・教育数学・算数 関連するQ&A 記号論理学の推論図 タブロー体系G体系 T￢A⊃B この式をタブロー体系で、 ￢A∩B→ この式をG体系で示したいのです 否定がつくとよくわからなくなるのですが、それぞれどうなるのでしょうか？ 新しい論理体系 「今ある論理体系以外の論理体系は存在しない」ということを証明した人がいると聞いたのですが……。 一体誰がどのように証明したのでしょうか。僕のまったくの記憶違いの可能性もありますので、そのときにはその旨を教えていただきたく……。 よろしくお願いします。 論理図について 大学生です。 独学や他の人への質問にて、助けていただく中で、 自分なりに、考え下記論理回路があっているか どうかが疑問です。 論理式：E=/D・A・/B+D・/A・Bはこれになります。 条件は、NAND回路とNOT回路のみにて 組むという問題です。 一度、見ていただけませんでしょうか。(写真は凄くみずらく 申し訳ありません。) それに加え、出力の最終段は、これでNAND回路 になっていますでしょうか。 それとも、普通にNANDを書いてNOTで否定するもの なのでしょうか。 以上 早期に回答をいただければ幸いです。 論理式の簡略化(カルノー図) 教えてください 論理式の簡略化の問題でどうしてもわかりません。 宜しくお願いいたします。 【問】 ある問題集の問題です。 論理式A・B＋B・C＋C・A＾を簡略化した結果は次のうちどれか？ (1)A^・B＋C (2)A・B＋A^・C (3)A・B＋B^・C (4)A・B^＋B・C 【解】 A^・B^ A^・B A・B A・B^ C^ 1 C 1 1 1 上記のようにカルノー図を書いて答えはA・B＋Cだと思ったのですが、私の答えが選択肢になくこれ以上わかりませんでした。 どこが間違っているのでしょうか？ お手数ですが、宜しくご教授のほど、お願いいたします。 記号 ∃ に関して教え乞う (1). ∀ a, b ∈ X, ∃ c ∈ X, c ＃ b = a (1)式の意味は，集合 X の元（要素）a, b のすべてについて， 集合 X の元 c が存在し，a, b, c は，c ＃ b = a を満たす． と言うことです．記号 ＃ は，ある２項演算です． そこで，質問ですが，最近，下記のような記述を時々見かける ことが多くなりました． (?). ∀ a, b ∈ X, ∃1 c ∈ X, s.t. c ＃ b = a (?)式の中の ∃1 と s.t. は，どういう意味ですか？ おおよその見当は付いているのですが， 私の時代の高校や大学では，教えられなかったため， 確信が持てません．最近の数学界では， 記号 ∃1 と s.t. が正式に定義されているのですか？ それとも，数学の或る一分野で，慣例的に使用されているのでしょうか？ ちなみに，質問の記号は結び目理論の分野で使用されています． お分かりの方，教えて下さい． 記号論理学 真理表 命題論理の件でも質問させていただいております。 今回は真理表についてわからなくて、大変困ってしまっています。「記号論理入門（新装版）前田昭二」と言う大学の教科書を見て、下記のような回答を私なりに考えたのですが。。。どなたか、わかる方、どうぞ教えてください。宜しくお願いいたします。 問題 次の論理式の真理表をかけ (a) A→(B→A)の真理表 A、B、B→A、A→(B→A) ∨、∨、∨、∨ ∨、∧、∨、∨ ∧、∨、∧、∧ ∧、∧、∨、∧ (b)｛￢A→(A→B)｝⇔B の真理表 A 、B、￢A、A→B、￢A→(A→B)、｛￢A→(A→B)｝⇔B ∨、∨、∧、∨、∨、∨ ∨、∧、∧、∧、∧、∧ ∧、∨、∨、∨、∨、∨ ∧、∧、∨、∨、∧、∧ 罫線をこの投稿欄で使えないため、表の中の 点（、）の場所が罫線が引いてあるものと思っていただけますと、幸いです。 大変読みづらくて、申し訳ありません。 命題計算の或る形式的体系に関して こんばんは。いま私は、松本和夫著「数理論理学」（共立出版）を勉強しているのですが、その中で理解出来ない部分があったので、質問させてください。 この本の中で、以下の様な諸公理と推論規則MPを定めて、そこで証明可能な論理式が全てトートロジーとなるような無矛盾な命題計算の体系Ｈｐを作るところがあります。 Ａ、Ｂ、Ｃを論理式、⇒を含意として 公理１ Ａ⇒（Ｂ⇒Ａ） 公理２ （Ａ⇒（Ｂ⇒Ｃ））⇒（（Ａ⇒Ｂ）⇒（Ａ⇒Ｃ）） 公理３ （￢Ｂ⇒￢Ａ）⇒（（￢Ｂ⇒Ａ）⇒Ｂ） 推論規則MP Ａ、Ａ⇒Ｂ |-B これ等の公理と推論規則から導かれる形式的体系Ｈｐでは演繹定理も成り立ちます。 さて本題の質問です。本書では、無矛盾な体系Ｈｐに於いて証明可能な論理式の一つとして次のものが挙げられています。 定理 ￢Ａ⇒（Ａ⇒Ｂ） 証明 (1)￢Ａ 仮定 (2)Ａ 仮定 (3)A⇒（￢Ｂ⇒Ａ）公理１ (4) ￢Ａ⇒（￢Ｂ⇒￢Ａ）公理１ (5)￢Ｂ⇒Ａ (2)と(3)にＭＰ (6)￢Ｂ⇒￢Ａ (1)と(4)にＭＰ (7)（￢Ｂ⇒￢Ａ）⇒（（￢Ｂ⇒Ａ） ⇒Ｂ）公理３ (8)（￢Ｂ⇒Ａ）⇒Ｂ (6)(7)にＭＰ (9)Ｂ (5)と(8)にＭＰ 故に ￢Ａ、Ａ｜－B これに演繹定理を２回用いて上の定理を得る。 ｑｅｄ 私が納得出来ないのはこの証明なのですが、最初に￢AとAが同時に成り立つと仮定していますよね。ですがＨｐは無矛盾なのだから、Hｐにおいて￢AとAとが共に成立することなどあり得ない筈です。よってこの証明は無意味だと思うのですが、どうでしょうか？ 随分ごたごたした記述で申し訳ありませんが、何卒ご回答お願いします。 カルノー図を用いた論理式の簡単化 閲覧ありがとうございます。 電気回路の問題でどうしてもわからないところがあったので、質問させてもらいます。 問.符号(ABCD)について、(0000)、(0101)、(1111)、(1010)が起こり得ないとして、カルノー図を用いて次の論理式を簡単化しなさい。 Z=A^B^C^D＋A^BC^D+ABC^D+A^BCD (※便宜上、^をNOTとする。ex)A^B=A(NOT)B ) これを本来の解き方をすれば図の様になります。ここから先のやり方が分からなく、困っています。 論理式の記号表記について 宜しくお願いいたします。 論理式の下記の表記の仕方ですが、意味と違いがいまひとつわかりません。 (1) A○＋B (実際には○の中に＋が入っています) ＿＿＿ (2) A○＋B (実際には○の中に＋が入っていて、且つ、全体否定の上付きバーになってます) 手持ちの参考書に書かれていないのですが、○の中に＋が入っているのはどういう意味を持つのでしょうか？ プラスマイナスをあらわしてるんでしょうか？ 文章で記号表現がうまくできずにわかりにくくてすいません。 宜しくご教授お願いいたします。 がっちり体系で似合う服は？ こんにちは。 私はがっちり体系でいつもジーンズとＴシャツを着ています。Ｔシャツでも肩幅がひろいのでチビＴみたいなものは着れないです。シャツも肩が浮いてしまいます。 ジーンズもウエストは大丈夫でもお尻と太ももでつっかえるので履くものは限られてしまいます。 こんな体系ですがどんな服が似合うと思いますか？ 推論の解き方を教えて下さい ＡからＢの５人が契約を取りに行ったところ、１人だけが契約を取ってきた。そこで、５人から話を聞いたところ、次のように答えた。 Ａ「契約が取れたのはＣです」 Ｂ「契約が取れたのはＡです」 Ｃ「Ａが言っていることは嘘です」 Ｄ「私は契約が取れませんでした」 Ｅ「契約が取れたのは私です」 しかし、本当のことを答えたのは１人だけで、残りの４人は嘘をついていたことが分かった。契約が取れたのは誰か。 論理式の簡単化 論理式の簡単化 論理式の簡単化 (￢Ａ)(￢B)CＤ ＋ (￢Ａ）Ｂ（￢Ｃ）Ｄ ＋ （￢Ａ）ＢＣ（￢Ｄ） ＋ Ａ（￢Ｂ）（￢Ｃ）Ｄ ＋Ａ（￢Ｂ）Ｃ（￢Ｄ） ＋ ＡＢ（￢Ｃ）（￢Ｄ） という式なのですが、カルノー図を使ってもどうやっても簡単化できません。（￢）はＮＯＴのことです。 もうこれは、簡単化できないものなんでしょうか？ 見づらくてもうしわけありません。 どなたかご教授ください。 論理式および、ベイッチ図（ベイチ図）からの式の簡単化について。 次の論理式を簡単化せよ。という問題です。 たとえば、X = A'B'CD + A'BCD + A'BC'D + A'B'C'D は、それぞれの項にA'Dが共通しているので、簡単化すると X = A'Dとなりますよね。 次に、Y = A'B'C + A'BCD + ABCD' + ABCD + AB'C ですが、これはベイッチ図（ベイチ図）を書くと画像左のようになりました。ここから画像右のように○印をつけ考えたものの、よくわかりませんでした。ちなみに解答は、Y = AC + B'C + CDです。 考え方を教えてください。 表記上、否定マーク（バー）が書けないので、'（ダッシュ）で書かせていただきました。見づらくて申し訳ありません。回答よろしくお願いします。 論理式で解らないことが・・・。 論理式の結果を求めたいのですが、論理回路図はかけるんですが、簡略化したりする方法が解りません・・・。貴重な時間を割いていただいて申し訳ありませんが、教えてください！よろしくお願いいたします。 1）論理式の結果を求めなさい。 1）A・0＝ 2）A＋A＝ 3）A・A(Aの上のみに棒がついている)＝ 4）A＋A(Aの上のみに棒がついている)＝ 5）1・A＝ 6）A＋A（両方のAにまたがった棒がついている）＝ 2）論理式を簡略化しなさい。 1）A・B＋A＝ 2）A・B＋B＝ 3）（A＋B）・B・C（Cの上のみに棒がついている）＝ 4）A(Aの上のみに棒がついている)・B・C(Cの上のみに棒がついている)＋A(Aの上のみに棒がついている)・B・C 簡略化というのは吸収の定理とかを当てはめるということでしょうか？？ すみませんが教えてください。よろしくお願いいたします。 論理回路 簡単な問題だと思うんですが、まったく分からないのでおしえてください。 １．ド・モルガンの定理を用いて次の式をＡＮＤとＮＯＴだけ、またはＯＲとＮＯＴだけで表す。 (1) A・(B+C) (2) A・(～B)+(～A)・B 2.次の論理式表す論理回路を表す論理回路を２入力ＮＡＮＤだけでつくる。 A・(～B)+(～A)・B 以上です。 一応、１の（１）、（２）は自力でやって （１）＝～｛（～Ａ・Ｂ）・（Ａ・～Ｂ）｝ （２）＝～（～Ａ＋Ｂ＋Ａ＋～Ｂ） だったんですが、まちがってないですか？ ２番の問題はわからないんでお願いします。 命題論理 次の同値式を付値関数を用いて証明せよ。 （１）Ａ∧Ｂ≡￢（Ａ→￢Ｂ） （２）Ａ∨Ｂ≡￢Ａ→Ｂ どなたかお願いします スマートな体系とがっちりした体系の男性ならどっち スマートな体系とがっちりした体系の男性ならどちらがタイプですか？ 例） スマートな体系＝ＡＲＡＴＡ がっちりした体系＝春日 いかがでしょうか？ 論理式を簡単化せよ。 Aの否定をA'とする。 （A+B+C)(A+B+C')(A'+B+C) の式を簡単化しなさい。 という問題の解き方を教えてください。 急いでいます。 論理式の簡略化について いつもお世話になります。 論理式の簡略化について、教えて頂きたいことがあります。 ある参考書に、以下の論理式の簡略化について、 /A・/B＋/A・B＋A・/B (1) ＝/A・/B＋/A・B＋A・/B＋/A・/B (2) ＝/A・(/B＋B)＋/B・(A＋/A) (3) ＝/A＋/B (4) ※否定の上バーを / と記載しています。 というように導かれていました。 説明をはしょってはいないか、私としては思うのですが、(1)から(2)の変換について、これが理解できません。 (2)の最後に追加されている「/A・/B」は、べき等則の「/A・/B＋/A・/B」から現れたということは分かりました。 (2)の形に持っていけたのは、交換法則により、導かれた、という認識であっていますでしょうか？ 「/A・/B」をべき等則により「/A・/B＋/A・/B」とした後ろの部分の「/A・/B」が、交換法則により後ろにずれていき、 最終的に(2)の形になったということであっていますでしょうか。間違いがありましたら教えて頂けないでしょうか。 宜しくお願いします。 会計帳簿体系図とは？ 株式公開業務を進める中で、監査法人から会計帳簿体系図を提出して下さいと言われました。無い場合は作成して下さいと言われたのですが、会計帳簿体系図とは何でしょうか？教えて下さい。宜しくお願いします。 注目のQ&A 「前置詞」が入った曲といえば？ 緊急性のない救急車の利用は罪になるの？ 助手席で寝ると怒る運転手 世界がＥV車に全部切り替えてしまうなら ハズキルーペのCMって…。 全て黒の5色ペンが、欲しいです 長距離だったりしても 老人ホームが自分の住所になるのか？ 彼氏と付き合って2日目で別れを告げられショックです 店長のチクチク言葉の対処法 カテゴリ 学問・教育 人文・社会科学 語学 自然科学 数学・算数 応用科学（農工医） 学校 受験・進学 留学 その他（学問・教育） カテゴリ一覧を見る あなたにピッタリな商品が見つかる！ OKWAVE セレクト コスメ化粧品 化粧水・クレンジングなど 健康食品・サプリ コンブチャなど バス用品 入浴剤・アミノ酸シャンプーなど スマホアプリ マッチングアプリなど ヘアケア 白髪染めヘアカラーなど
