論理学を下記テキストにて勉強しておりますが、
標記の件で理解できない箇所があったため質問
させて頂きます。
テキスト:論理学入門~日本放送出版協会(三浦俊彦)
∃xFxと∀xFxの関係について
∃xFx≡¬∀x¬Fx
∀xFx≡¬∃x¬Fx
と記載があり、この点において
¬∀x¬Fx は丁寧に書くと、¬(∀x(¬(Fx)))
¬∃x¬Fx は丁寧に書くと、¬(∃x(¬(Fx)))
と補足されていましたが、なぜ丁寧に書くと、上記のように
なるのかが理解できません。というのも、丁寧に書かれた
式を分配法則により展開すると、それぞれ
¬(∀x(¬(Fx)))→¬(∀x)¬(¬(Fx))→¬∀xFx
¬(∃x(¬(Fx)))→¬(∃x)¬(¬(Fx)))→¬∃xFx
になると思うからです。
私の考え方の、どこに誤りがあるのか、お知恵の拝借を
お願い致します。
No.1
- 回答日時:
当方、専門家ではありませんが・・・
全称記号(ないし存在記号)と命題関数(術語)との組み合わせ全体の否定に対し、分配法則を用いることはできないのではないでしょうか?
無論、命題関数の組み合わせ(andやor)全体の否定については、分配法則が適応されます。
また、
>>>http://bach.istc.kobe-u.ac.jp/lect/tamlab/logic. …
∀xP(x) = P(a1) ^ ・・・ ^ P(an)
∃xP(x) = P(a1) v ・・・ v P(an)
<<<
なので
¬(∀x(¬(Px))) = ¬(¬(P(a1)) ^ ・・・ ^ ¬(P(an)))
= ¬¬(P(a1)) v ・・・ v ¬¬(P(an))
= P(a1) v ・・・ v P(an)
= ∃xP(x)
でしょうし、存在命題の方も、同様に変換可能でしょう。
あと、参考にされている書物の書評も参照された方がよろしいかと存じます。
http://www.amazon.co.jp/product-reviews/41400189 …
こちらも参考になると思います。
http://www.ne.jp/asahi/search-center/internation …
ご回答ありがとうございます。
>全称記号(ないし存在記号)と命題関数(術語)との組み合わせ全体の
>否定に対し、分配法則を用いることはできないのではないでしょうか?
おっしゃる通りに考えると納得できます。
確かに、そのような前提であれば、式変形は正しくできますね。
しかし、対象領域が有限の場合に限られてしまう点が、疑問として
残ります…。
参考リンク、ありがとうございます。
特にamazonの書評については、私も読みながら参考にしています。
…当該本については、入門書として相応しくないかと考えております。
改めて御礼申し上げます。
No.2
- 回答日時:
>私の考え方の、どこに誤りがあるのか、お知恵の拝借を
お願い致します
「丁寧に書くと」というのは「誤解さえなければカッコを略して書いてもいいよ」ということ。
ありがとうございます。
よろしければ、量化子と否定を含んだ命題についての
分配法則を教えて頂けませんでしょうか?
甚だ無礼で申し訳ありません。
No.3ベストアンサー
- 回答日時:
先の方と同じ意見です。
「丁寧に書くと」というのは、本来はこっちという意。>分配法則を教えて
とお書きですが、その入門段階に居られるのですから、そこにこそ『考え方の誤り』があるのではありませんか。
この世の中に【分配法則】という名の法則は確かにいろいろありますが、あなたが勉強中のそのテキストに、件の式が登場する以前に書かれていた「分配法則」それ以外に、当面は、他に「分配法則」は無い。そのテキスト外部からそのテキストの流れに介入するような「法則」を勝手に持込んだら、「論理学入門」は滅茶苦茶になる、と私は思います。
一言で言うなら、勝手に分配するな、分配法則がある場合にのみできるのだ。
暴言のほど、平にご容赦を。
ご回答ありがとうございます。
勝手に分配法則を適用しようとしていたこと自体
そもそも間違っていたんですね。
それにより、論理学が滅茶苦茶になることが
よく解りました。
手厳しいご意見でしたが、内容は実のあることで
感謝しております。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- FX・外国為替取引 FXでの知識 3 2022/08/21 14:16
- その他(資産運用・投資) 毎月FXに10万円ぶち込んで一億円にしたいんですが FXのことよくわかりません。即答で円安と円高の意 7 2023/04/01 11:13
- FX・外国為替取引 FXに詳しい方 4 2022/07/23 12:27
- FX・外国為替取引 FX取引における経費にできるものについて(会社員で兼業です) 2 2023/01/16 20:17
- 投資・株式の税金 サラリーマン投資家(海外FX)の節税目的のマイクロ法人設立について 2 2022/09/19 18:37
- FX・外国為替取引 MT4 MT5の正確な1分足のデータ 1 2023/06/29 20:41
- FX・外国為替取引 【FX】FXのトレードはダウ理論と移動平均線のみに絞りました。とはどういう意味か教え 2 2023/03/20 23:59
- FX・外国為替取引 海外FXについて、入金や出金はFX fairという会社を通してやりとりするんでしょうか? また、FX 2 2022/12/24 00:52
- 確定申告 株配当金とFXの合算 10 2022/11/03 14:34
- 確定申告 教えてください 3 2023/02/10 14:58
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
リトルチャロを第1話から学習し...
-
テキスト?テクスト?
-
開くとテキストになるイラスト...
-
「本文」という語の読み方について
-
フォームのテキストボックスが...
-
宅建の勉強に関して
-
Access の SetFocus について教...
-
ACCESS データ型の一括変更
-
福祉住環境コーディネーター試...
-
つい最近MOS検定を受けた方...
-
アクセスの「レポート作成でき...
-
【ビジネス】英文メール アメ...
-
cadでの文字サイズの変更方法
-
パワーポイントの図(テキスト折...
-
日能研の「知の翼」の負担はど...
-
口話、読唇術の学習方法教えて...
-
パソコン検定(P検)2級のテキ...
-
DELコードって何ですか?
-
統合失調症でも登録販売者にな...
-
アイパッド中古品の購入につい...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
リトルチャロを第1話から学習し...
-
iPhone写真にテキストを挿入し...
-
開くとテキストになるイラスト...
-
テキスト?テクスト?
-
フォームのテキストボックスが...
-
宅建の勉強に関して
-
ACCESS データ型の一括変更
-
DELコードって何ですか?
-
NHK語学番組のテキストの保管
-
「本文」という語の読み方について
-
パワーポイントの図(テキスト折...
-
アクセスの「レポート作成でき...
-
複数のテキストデータを一括で...
-
建設業経理士1級 財務諸表の勉強
-
特許明細書での、Σ記号の書き方
-
ネットに『蜘蛛の糸』の英文テ...
-
標準テキストのメールがHTMLメ...
-
口話、読唇術の学習方法教えて...
-
50代前半の母が最近になってか...
-
MOS検定のテキストをバージョン...
おすすめ情報