- 締切済み
記号論理学 推論図 タブロー体系
nkmrtkyの回答
- nkmrtky
- ベストアンサー率0% (0/0)
F¬A Tb TA
関連するQ&A
- 記号論理学の推論図 タブロー体系G体系
T¬A⊃B この式をタブロー体系で、 ¬A∩B→ この式をG体系で示したいのです 否定がつくとよくわからなくなるのですが、それぞれどうなるのでしょうか?
- 締切済み
- 数学・算数
- 論理式の簡略化(カルノー図) 教えてください
論理式の簡略化の問題でどうしてもわかりません。 宜しくお願いいたします。 【問】 ある問題集の問題です。 論理式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 を満たす. と言うことです.記号 # は,ある2項演算です. そこで,質問ですが,最近,下記のような記述を時々見かける ことが多くなりました. (?). ∀ 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を定めて、そこで証明可能な論理式が全てトートロジーとなるような無矛盾な命題計算の体系Hpを作るところがあります。 A、B、Cを論理式、⇒を含意として 公理1 A⇒(B⇒A) 公理2 (A⇒(B⇒C))⇒((A⇒B)⇒(A⇒C)) 公理3 (¬B⇒¬A)⇒((¬B⇒A)⇒B) 推論規則MP A、A⇒B |-B これ等の公理と推論規則から導かれる形式的体系Hpでは演繹定理も成り立ちます。 さて本題の質問です。本書では、無矛盾な体系Hpに於いて証明可能な論理式の一つとして次のものが挙げられています。 定理 ¬A⇒(A⇒B) 証明 (1)¬A 仮定 (2)A 仮定 (3)A⇒(¬B⇒A)公理1 (4) ¬A⇒(¬B⇒¬A)公理1 (5)¬B⇒A (2)と(3)にMP (6)¬B⇒¬A (1)と(4)にMP (7)(¬B⇒¬A)⇒((¬B⇒A) ⇒B)公理3 (8)(¬B⇒A)⇒B (6)(7)にMP (9)B (5)と(8)にMP 故に ¬A、A|-B これに演繹定理を2回用いて上の定理を得る。 qed 私が納得出来ないのはこの証明なのですが、最初に¬AとAが同時に成り立つと仮定していますよね。ですがHpは無矛盾なのだから、Hpにおいて¬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 (実際には○の中に+が入っていて、且つ、全体否定の上付きバーになってます) 手持ちの参考書に書かれていないのですが、○の中に+が入っているのはどういう意味を持つのでしょうか? プラスマイナスをあらわしてるんでしょうか? 文章で記号表現がうまくできずにわかりにくくてすいません。 宜しくご教授お願いいたします。
- ベストアンサー
- 数学・算数
- がっちり体系で似合う服は?
こんにちは。 私はがっちり体系でいつもジーンズとTシャツを着ています。Tシャツでも肩幅がひろいのでチビTみたいなものは着れないです。シャツも肩が浮いてしまいます。 ジーンズもウエストは大丈夫でもお尻と太ももでつっかえるので履くものは限られてしまいます。 こんな体系ですがどんな服が似合うと思いますか?
- 締切済み
- レディース服・下着・水着