• ベストアンサー

論理学の問題

taorminaの回答

  • taormina
  • ベストアンサー率22% (8/35)
回答No.1

「Aでない」は「ある生徒は優等生でない」 「Bでない」は「ある生徒は優等生である」だから, 「Aでない」&「Bでない」は「ある生徒は優等生で,ある生徒は優等生でない」なので同時に成り立ちます。 「Cでない」は「ある生徒は優等生でない」 「Dでない」は「すべての生徒は優等生である」なので,同時に成り立ちません。 うーーん,わかりにくいかな?

fpie
質問者

お礼

追加で質問させていただきます。 宜しかったら今一度回答のほう宜しくお願いします。 >「Aでない」&「Bでない」は「ある生徒は優等生 で,ある生徒は優等生でない」なので同時に成り立ちます。 「Aでない」は「ある生徒は優等生でない」なので、「その他の生徒は優秀である」これは「Bでない」の「ある生徒は優等生である」と同じだからAとBが偽でも成り立つと理解してもいいのでしょうか? ポイントは 「すべての」の偽が「ある」で、 「ある」の偽が「すべての」というところでしょうか? これは、「特称命題」の偽が「全称命題」という事ですか?

関連するQ&A

  • 論理的思考を鍛えたい

    海外大学の人文科学(学部レベル)で勉強している者です。 構成力が中々進歩せず、エッセイを思うように書き上げることが出来ません。書いていてたまに「AからB、そしてC、だから○○」と繋がらないことが多々あります。どうしてだろうと考え、頭の中で論理的・体系的に物事を組み立てられていないからだと自分の中で結論付けました。じゃあ論理的な学問は?となると、やはり数学のような気がします。 今まで数学がとても苦手で、中学でも高校でもほとんど避けてきて、数IIBまでしかやってません(しかも記憶も朧げにしかないです…)。そして数学の中にもたくさん分野があるでしょうし、一体どれが自分の求めているものに繋がるのかサッパリわかりません。 文系論文の構成、論理的思考に活かせるような数学の本があれば是非ともオススメをお願いします。 また、数学だけでなくとも、論文を書くのに活用出来るような学問や本でもいいのでお願いします!(ちなみにエッセイは起承転結では書いていないので、論文の書き方の本などはあまり利用出来ないように思います)

  • 集合と論理の問題です

    こんにちは。 集合と論理の問題で、頭を抱えております。 どなたか、分かりやすい解説をおしえていただけませんか。よろしくお願いします。 問 ・AならばBである。 ・AでないならばCである。 ・DでないならばCでない。 以上の3つの命題から正しく導かれる結論は、次のうちどれか。 (1)BでないならばDである。 (2)CならばBでない。 (3)DならばBでない。 (4)CならばBである。 (5)BならばDである。 正解は(1)となっております。

  • 論理回路の問題

    論理回路の問題ですが、教えてください 次式を簡単化せよ. (1) Z = A + B ~B (2) Z = ( A + B ) ~~( A + B ) (3) Z = ( A +~ B + B ) ( C + D ) (4) Z = A B ~C + ~A B C + ~A B C + ~A B ~C

  • 論理学の問題なのですが

    この問題のときかたを教えてください。 論理式が真か偽か、偶然的かを判定して真式にはA,偽式にはB、偶然式にはCを。 (1) ~pVq⊃q (2) ~(pVq)≡(p&q) (3) (p⊃q)V(~q⊃~p) (4) ~(p&q⊃(~p⊃q)) (5) (~pVq)&(q⊃r)⊃(p⊃r)

  • 論理式の簡単化

    論理式の簡単化 論理式の簡単化 (¬A)(¬B)CD + (¬A)B(¬C)D + (¬A)BC(¬D) + A(¬B)(¬C)D +A(¬B)C(¬D) + AB(¬C)(¬D) という式なのですが、カルノー図を使ってもどうやっても簡単化できません。(¬)はNOTのことです。 もうこれは、簡単化できないものなんでしょうか? 見づらくてもうしわけありません。 どなたかご教授ください。

  • 論理式 真理値表

    Aの否定は~Aと表記する。 4入力(A,B,C,D)1出力(O)の論理関数?があります。 論理関数O=○×▽(何問かある) ただし、A・B・~C・~DとA・C・~Dは don't careとすると書いてあり真理値表を書かされるのですがA・B・~C・~DとA・C・~Dは真理値表のどこを示しているのでしょうか? 回答よろしくお願いします。

  • 至急!論理学の問題で困ってます!

    論理学の問題で困っています。 以下の推論の記号化を推論規則や置換規則を用いて妥当性の形式的証明を行いなさい。尚、構成的ディレンマを用いずに証明しなさい。 とあります。どなたか証明方法がわかるかたがいらっしゃいましたら、解答お願いします。 1A⊃(B・C) 2D⊃(B・E) ∴(A∨D)⊃[(B・C)∨(B・E)]

  • 論理演算子は・・・

    論理演算子&&(~と…を同時に満たすときだけ「真」)は、 例えば、(a<b && b<c && c<d) のように、「&&」を2回使う事はできるのでしょうか? また、(a<b || b<c && c<d)のような使い方は可能でしょうか。 教えていただきたいです。

  • 「命題AとBには論理積の関係がある」←正しい言い方

    命題Aと命題Bについて次の4つの関係が成り立つ時、 A∧B→真 A∧¬B→偽 ¬A∧B→偽 ¬A∧¬B→偽 下記の言い方は合ってますか? 1.「AとBには論理積の関係がある」 2.「AとBの論理積は真であり、AとBの否定論理積は偽である」 より適切なものがあれば教えて下さい。

  • 論理回路の問題

    3入力1出力の多数決論理回路を2入力NAND回路を用いて論理回路を作れという問題なのですが、 真理値表 a b c f 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 論理関数 f=a・b+a・c+b・c までは分かっているのですが、2入力NAND回路を使って論理回路をどのように作ればよいかわかりません。どなたかアドバイスください。よろしくお願いします!