命題(証明の論理) 次の等式が成立する.
(P ⇒ Q) = (¬Q ⇒ ¬P) = ¬P ∨ Q
http://www.rimath.saitama-u.ac.jp/lab.jp/fsakai/ …
右の等号が分からない。
A 回答 (7件)
- 最新から表示
- 回答順に表示
No.7
- 回答日時:
英語でも "if P then Q" だと P⇒Q だか P⇔Q だか解らなくなる人がいて、
P⇒Q は "if P then Q"、P⇔Q は "iff P then Q" だとか、
"iff" と書いて "if and only if" と読めとか教えることがあるみたいですが、
あまり普及していないようで、質問者の友人と同じ状態になる人は絶えないようです。
論理式を自然言語で解釈するな!という原則は、何語でも同じなのでしょうね。
「または」についても、"P or Q" が P∨Q なのか (P∧¬Q)∨(¬P∧Q) なのか
解らなくなる人がいるのは、「PまたはQ」と事情が同じです。
これも、P∨Q は "P or Q" で、(P∧¬Q)∨(¬P∧Q) は "P xor Q" だとか、
"xor" と書いて "exclusive or" と読めとか教えることがあるようですが、
およそソノスジの人にしか通じない話で、英語としては全く普及していません。
論理式の意味は、正確な定義すなわち真理値表で理解すべきものであること、
論理式はひとつの独立した数学言語なので、安易に自然言語へ翻訳すると
誤訳や誤解の余地がある訳が生じがちであることを理解すべきなんでしょう。
No.6
- 回答日時:
やはり、日本語と数学とで「ならば」の意味が違う、ということですね。
日本語では
「PならばQ 」 = 「PであるならQである、 PでないならQでない」
くらいの意味になってます。(これはP⇔Q に相当)
あるいは
「PならばQ」 ~ 「PであるならQである、 Pでないなら、Qかどうかわからない」
P→Q は
「PならばQ」= 「PであるならQである、 Pでないなら、QでもいいしQでなくてもいい」
の意味になります。
これを∧と∨にしたら
(P∧Q) ∨ (¬P∧ (Q ∨ ¬Q) )
これを変形したら
¬P ∨ Q
になります。
余談。
P ∨ Q の方は、日本語の「または」と区別ついてますか?
No.4
- 回答日時:
命題論理に「不定」という真偽値はないので,補足コメントの真理表は間違いです。
命題論理とは厳密に定義と公理にしたがってのみ式の操作ができるのであって,それ以外の意味付けで式を扱ってはいけません。
命題論理では P ⇒ Q は ¬P ∨ Q と定義される,つまり単なる記法です。定義ですから正しい以外にないのです。
定義と公理にしたがって式を変形すれば,あるいは真理表を作れば,ご質問の式の等価は成り立つことが分かります。
「⇒」は通常「ならば」と読まれるため,自然言語の「ならば」の意味に引きずられて ¬P ∨ Q と異なるような気がしてしまいがちですが,それは命題論理の範囲ではありません。
逆にいえば,自然言語の「ならば」は命題論理の「⇒」に対応するわけではなく,自然言語の命題は常に命題論理に落とし込めるというわけでもないのです。
それで命題論理が不足あるいは不適と思うなら,論理学には他の論理もあって,たとえば真でも偽でもない論理値のある論理もあれば「ならば」に命題論理と違う定義を与えるものもあるのでそちらを使ってください。でもそれらはかなり難しいし,学ぶにも命題論理が基礎として必要です。
まあ初歩的には「⇒」を「ならば」とは別の単なる演算子と考えるのが気分としては楽でしょう。
記号「⇒」が日本語の「ならば」とは違うことは初めて知ったそうです。
もしかして高校数学をマスターしてれば当然知っているのでしょうか。
ありがとうございました。
No.3
- 回答日時:
あなたが質問文に書いた URL に, そんな真理値表につながる情報はないんだけどなぁ.
(iii) 「P ならば Q」という命題(含意)を P ⇒ Q で表す.その真理値は,P が真のときには,Q が真であれば真であり,P が偽のときには,Q の真偽とは無関係に真であると定める.
という文章の意味は理解できますか?
それは理解できる模様です。
ええとですね、
P:aは自然数である。
Q:aは実数である。
(P ⇒ Q) は成立。
(aは自然数である)ならば(aは実数である) ・・・(ア)
でも
¬P ∨ Q
¬P:aは自然数ではない。
Q:aは実数である。
(aは自然数ではない)または(aは実数である) ・・・(イ)
アとイが同値というのが理解できない模様です。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 熱力学 エントロピー 断熱自由膨張 熱力学第2法則 クラウジウスの不等式 2 2022/07/14 12:58
- 数学 論理式、合成命題について 命題変数と論理記号を用いて命題を形式的に構成したものを論理式、または合成命 1 2022/04/12 21:06
- 宇宙科学・天文学・天気 AIが答えた方程式 1 2023/02/20 00:12
- 数学 述語論理の問題についての質問です。 次の述語論理式で表される命題から、→を削除し→を使わない式に書き 1 2023/02/12 16:53
- 数学 数Ⅲ、無限等比数列の問題についてです。 極限を調べる問題で、 場合分けのうちの |r|>1 の時、 3 2022/11/12 10:19
- 数学 集合と論理について 2 2023/01/08 05:52
- 物理学 アインシュタインの質量とエネルギーの等価性(E=mc²)って間違ってますよね? 4 2023/01/14 13:29
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- 高校 方程式の証明 5 2022/05/12 09:29
- 数学 数学 『等式の証明』 a+b=2の時 写真の一番上の等式が成り立つことを証明せよ 解法合ってますかね 3 2023/03/31 22:37
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の記号"⇔" "∴"の使い方を教...
-
「PならばQ」と「(Pでない...
-
常に真または偽である条件の扱い
-
数学の理論展開は 全て前後で必...
-
数学のサイトについて。
-
n^2が5の倍数ならばnも5の倍数...
-
任意の実数とは?
-
負荷号命題で A and bが成り立...
-
数学 同値と必要十分の意味につ...
-
「無限の一つ前の数字は何?」...
-
エクセルで(~以上,~以下)...
-
年代と年台・・・どちらが正し...
-
lim[n→∞](1-1/n)^n=1/e について
-
この極限を求める問題で対数を...
-
座標空間上3点を頂点とする三角...
-
指定範囲内のオートシェイプを...
-
記録の範囲、分布の範囲、数値...
-
三角関数の範囲について、 0≦x≦...
-
「余年」の意味について教えて...
-
【数学】 lim x→a ↑これってど...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
ゲーデルの第1不完全性定理の具...
-
数学の記号"⇔" "∴"の使い方を教...
-
「PならばQ」と「(Pでない...
-
命題と論理式の違いは何でしょ...
-
原則には、例外が付きものです...
-
命題の否定でわからないところ...
-
必要十分条件
-
{Ai ; i ∈ N} を位相空間 X の...
-
n^2が5の倍数ならばnも5の倍数...
-
無理数
-
命題の問題
-
常に真または偽である条件の扱い
-
【 数A 集合を用いた命題の真偽...
-
limsup(sinN)=1?
-
数学 同値と必要十分の意味につ...
-
数学の質問です。 命題p,q,rに...
-
【素元の分解】一意性の証明
-
命題
-
高校数学です! x, yを実数とす...
-
数学の「命題」の範囲について...
おすすめ情報
こんな真理値表を書いてきました。
P Q (P ⇒ Q)
真 真 真
真 偽 偽
偽 真 不定
偽 偽 不定
これは補足ではなくお礼初稿です。
真に回答を活かすには、と考えると、理解の進度を報告するのが良い。
そういう思いからお礼は理解の証として投稿予定です。
再現
Zàixiàn