![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
No.4ベストアンサー
- 回答日時:
「 p ならば q である 」という文章を、次のとおりに書き換えても不自然ではありません。
「 p であるならば必ず q である 」
書き換えられたこの文章を、さらに書き換えることにします。次のとおりに書き換えても不自然ではありません。
「『 p であるにもかかわらず q でない 』ということはない 」
書き換えられたこの文章を、さらに書き換えることにします。次のとおりに書き換えても不自然ではありません。
「『 p であって q でない 』ということはない 」
よって、p ⇒ q = ¬(p ∧ ¬q) と定義しても不自然ではありません。
ド = モルガン の法則より、¬(p ∧ ¬q) = ¬p ∨ ¬¬q = ¬p ∨ q
よって、p ⇒ q = ¬p ∨ q
上記のような感じでかつて教わったという記憶が、私にはあります。記憶ちがいでしたら、ごめんなさい。
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_07.png?8acaa2e)
No.3
- 回答日時:
まずは、何はともあれ、
¬p∨qの真理表を作ってみよう。
p__¬p__q__¬p∨q
T___F___T____T
T___F___F____F
F___T___T____T
F___T___F____T
ということで、p⇒qの真理表と一致するでしょう。
(Tは真、Fは偽を意味します)
なので、
p⇒q = ¬p∨q
ということになります。
p⇒qの真理表は理解できているのですよね。
なんで、pが偽の時、qの真偽にかかわらず、p⇒qは無条件で真になるんだ!!
とか言わないでくださいよ。
それは、定義、お約束、としか、答えようがないもので。。。
それから、
☆真理集合も違うのではないかとも思います。
はまったく関係ないと思いますよ。
命題pと命題qは《命題関数》じゃなく変数や変項を有していないので、
真理集合は関係ないのではないですかね~。
命題関数
http://ja.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C% …
No.1
- 回答日時:
真理値表をただしく書けばいいんだけど
両方とも「1011」になるから.
意味を考えてもなんとなくわかるはず
p=>q ってのは,pだったらqってこと.
では,pじゃなかったら・・・何にもわからない
つまり「pではない」としかいえないのです.
ということは,
「p ならば q」ってのは
「pではないか,またはq」
を導くでしょう
逆に,「pではないか,またはq」であるなら
もしpだったら,「pではない」ではないのです
だから,qであるしかないのです
つまり,「pだったらq」が出てくる.
まあ,細かいこと言い出したら,
三段論法とかいろいろ突っ込むところはあるけど
概念的な納得は,こんな感じで十分かと.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- その他(ペット) 猫(または猫好き)が嫌いな人(苦手な人)はいらっしゃいますか? 4 2023/07/09 14:40
- 政治 法務大臣の職務の最優先は、冤罪も含めた死刑囚の死刑執行命令を行う事だったんですよね? 5 2022/11/11 22:08
- 知人・隣人 明日、会社の先輩にパワハラを受ける可能性がある 10 2022/04/14 03:40
- 事件・事故 言論の自由と規制に関して 5 2023/07/02 10:08
- 日本語 【合理主義】という言葉の意味について教えてください。 4 2022/08/30 23:21
- 数学 開集合・閉集合について 4 2022/11/04 13:53
- 写真 集合写真が嫌いです。 私は中学生の時にブスとからかわれ、マスクしてる方が可愛い、隠した方がいいなどと 6 2022/08/02 16:07
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 数学 0の逆数について 7 2022/07/21 16:24
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
無限から無限を引いたら何にな...
-
皆さん定義を教えてください 「...
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
tanhXの近似式について
-
eの0乗は1ってどういう原理です...
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
アフィン空間 ユークリッド空...
-
2変数関数の極値について
-
「互いに素」の定義…「1と2は互...
-
フィボナッチ数列で「0から開始...
-
フーリエ変換の公式の違い
-
偏微分方程式って
-
ユーザー定義関数をアドイン登...
-
lim n→0 =n=0となりますが lim ...
-
空間座標の角度の求め方
-
階乗 総乗
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
「logx^2=2logx」が間違って...
-
無限から無限を引いたら何にな...
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
ユーザー定義関数をアドイン登...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
なぜ、直角三角形ではないのにs...
-
p⇒q=(¬p)∨qについて
-
lim n→0 =n=0となりますが lim ...
-
マイナス7は素数ですか?
-
複雑な家庭とは
-
日本語 ことば ひとまわり ふた...
-
正方行列ではない行列にも行列...
-
偏微分方程式って
おすすめ情報