No.1ベストアンサー
- 回答日時:
普通 P が偽のときには P→Q は真とするものだが, あなたのところでは違うのかな? まあ定義次第だからどっちでもいいけど, 「
とき P→Q は偽」とするのは (少なくとも) 一般的ではない, ということは認識した方がいいだろうね.No.2
- 回答日時:
定義とは、いくつかの公理の組のことなので、
→ に限らず、これは定義ですか?、公理ですか? と問うことには意味が無いように思います。
また、定義には同値な定義というものがあり、
そのどちらが定義でどちらがどちらが導かれたもの(定理)かは、どちらを定義として採用したか
流儀によって異なります。 定義ですか?定理ですか?にも、あまり意味は無いようです。
あなたの読んでいる本は、→ をどのように定義していましたか?
一般に命題 S について、「Sが成り立つ」を ├S と書くことがあります。
「P→Qが成り立つ」なら ├(P→Q) でしょうか。
No.3
- 回答日時:
Pが偽のとき、P→Qは真
です
例えば
A,Bを集合とする
x∈A→x∈Bが成り立つ(真)のとき
A⊂Bが成り立つ(真)と定義する
空集合をφ
Aを任意の集合
P=(x∈φ)
Q=(x∈A)
とすると
P(x∈φ)は偽だから
P→Q
x∈φ→x∈A
は
真となるから
任意の集合Aに対して
φ⊂A
が
成り立つ(真)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- その他(教育・科学・学問) 直観主義論理は何の役に立つのでしょうか? 実生活において、「明日、雨が降る」という命題があるとしたら 1 2022/08/22 02:28
- 大学受験 参考書の勉強法について質問なのですが、参考書を一通り終わらせて、二周目を行う際、問題だけ解けば良いで 2 2023/06/30 20:19
- 哲学 不毛な議論 8 2023/03/03 07:31
- 数学 「古典論理」と「直観主義論理」について以下の質問をしました。 何かを証明したいときに「古典論理」では 3 2022/08/26 10:07
- 政治学 ボリシェビキとロシア革命 1 2022/05/03 21:53
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 弁護士・行政書士・司法書士・社会保険労務士 行政書士試験の行政法についての質問になります。 行政法の行政法総論についての質問になります。 問 故 1 2023/08/02 23:25
- 数学 論理式、合成命題について 命題変数と論理記号を用いて命題を形式的に構成したものを論理式、または合成命 1 2022/04/12 21:06
- 数学 数学の「命題」の範囲について、問題は解けるのですが理解がイマイチできていないところがあるので質問させ 4 2023/03/03 13:43
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
強者男性、弱者男性の定義って...
-
無限から無限を引いたら何にな...
-
e<3の証明を教えてください。
-
p⇒q=(¬p)∨qについて
-
Excelファイルの「数式」タブ→...
-
「互いに素」の定義…「1と2は互...
-
ACCESS IIF関数 複数条件の設...
-
1未満と1以下の違い
-
交換法則が成り立って、結合法...
-
2進数の符号ビットの入った数...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
Excelで関数ウィザードの説明欄...
-
最大公約数は必ず正の整数にな...
-
拡大実数 ルベーグ積分に登場す...
-
複雑な家庭とは
-
エクセルVBA 「名前の定義」に...
-
モノイド・半群は演算が閉じて...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報
P→Qは真でした
誤字です