真偽表(真理値表)について
今日、大学の授業で真偽表(真理値表)について学習しました。(画像)(見づらかったらすみません)
∨、∧、¬は分かったのですが、
⇒、⇐、⇔の時が全然理解できません。
調べたところ、
『前提正しいなら結論も正しく、
前提間違ってんなら結論なんだっていいじゃん』
とイメージせよと出てきました。
この考え方をイメージすれば、表自体は覚えられたのですが、なぜそうなるのか?がどうしても理解できません…。
例えば、
p:△ABCのうち、∠Aは直角である
q: △ABCは直角三角形である
とした時に、
p⇒qは真だがq⇒pは偽だと思います。(反例:∠B=90°)
でも、真偽表ではp⇔qが成り立つんですよね、、?
これはどういう考え方をしているのですか…?
自分が的はずれなことを考えているのは分かるのですが、どこをどのように考えるのかが分からないのでどなたか教えていただけると嬉しいです、、。
ついでに、pとqの命題変数(?)の例も載せていただけると幸いです。。
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.5
- 回答日時:
[1] はて?どこをどう見れば
> でも、真偽表ではp⇔qが成り立つんですよね、、?
なんて話になる?さっぱり分かりません。
[2] それはさておき、「命題論理」という体系についての話だとしますと、「前提」だの「結論」だの、余計な用語を持ち込んだら混乱するだけです。
● p⇒q は (¬p)∨q の略記法。(¬(p∧(¬q))の略記法と思っても同じ。)
● p⇐q なんて普通は書かないが、もし書いてあったら q⇒p の別記法。
● p⇔q は (p∧q)∨((¬p)∧(¬q))の略記法。(((p⇒q)∧(q⇒p))の略記法と思っても同じ。)
単にそれだけです。「前提」だの「結論」だの、そんなもんありません。
[3] ただ、ひとつ注意点として:
● 原子命題 それぞれの真偽値が決まっているとき、論理式の真偽値は(真偽表で)決まる。
という話と、
● 原子命題 それぞれに真か偽かを割り当てる全ての組み合わせ方(原子命題がn個含まれていれば、当然、2^n通りあります)について、論理式が
a どの組み合わせでも真になる(恒真式)
b どの組み合わせでも偽になる(恒偽式)
c 組み合わせによって真になったり偽になったりする。
のどれかに分類される、という話(どっちの話も重要です)を区別する必要がある。
[4] ところで、
> p:△ABCのうち、∠Aは直角である
> q: △ABCは直角三角形である
どっちも命題とは言えない。たとえばpを見ると、そこには(さりげなくですが)「A,B,Cは三角形になっている」という主張も含まれている。なので、¬pがどういう意味なのか、ニホンゴで説明しようと試みればたちまち一筋縄では行かないことに気付くはず。幾何学の知識をいろいろ持ち出してこなくちゃどうにもならんでしょう。さらにその話はqと無関係ではない。(たとえば∠A, ∠B, ∠Cのうち二つ以上が直角であれば、それは三角形ではない。)要するに、pはそれ単独で意味が決まる文言ではなく、こんなもん命題とは言えない。
というわけで、論理で扱える形になっていないものを、論理演算の例題として取り上げるのは単に不適切。例に取り上げた話が複雑過ぎて、キチンと整理しきれていない、というだけのことですが。
No.4
- 回答日時:
真理値を考えているのだから、今扱っているのは命題論理の話。
つまり、p,q 単独で真偽が決まる場合の話。
したがって、
>p:△ABCのうち、∠Aは直角である
の真偽が決まるということは、△ABCはなにか1つ決まった特定の三角形の話。
>q: △ABCは直角三角形である
についても同様。
なにか1つ決まった△ABC(例えば、今適当に書いた三角形)についてなら、pやqの真偽は決まるし、それが決まれば p⇒q, q⇒p, p⇔q の真偽も決まることに何の不思議もない。
たまたま、p⇒q は△ABCがどんな三角形であっても真であり、q⇒p が真か偽かは、△ABCが与えられないことにはわからないけど、それで問題ない。
なのに、困ったことに、高校ではp⇒qという書き方をすると、p,q が条件の場合に話をすりかえてくる。その結果、
> q⇒pは偽だと思います
という部分では、p,qが命題ではなく、△ABCに関する条件(論理学では述語とか命題関数という)になっているのに気づかない。
つまり、「> q⇒pは偽」というのは、正確には、
「すべての△ABCについて『q(△ABC)⇒p(△ABC)』」という命題が偽
という意味であって、p,qが命題の場合ではない。
命題論理を学んでいる時は、p,qが命題関数(条件)ではなく、命題の場合である、ということを意識するようにしましょう。
No.2
- 回答日時:
真理表は論理式が
p⇒q = p∨¬q
p⇔q = (p∧q)∨(¬p∧¬q)
となることを表しているだけ。
>p⇒qは真だがq⇒pは偽だと思います。
これは p⇒q という命題が
「任意の(あらゆる)三角形」に対して常に真
q⇒p という命題が
「任意の(あらゆる)三角形」に対して常に真
というわけではない(偽になるケース(反例)が存在する)
という意味で真偽を使っているのでしょう。
命題が真であることと、命題が「常に」真であることは
意味がまるで違うので言葉に注意した方がよいです。
後者は全称命題と呼ぶこともありますが、全称記号を使って
表すのが最も数学的です。
全称命題 p⇔q が真というのはあらゆる三角形に対して
(p∧q)∨(¬p∧¬q) が常に真であること。
三角形ABC が直角三角形でも、角Aは直角
とは限りませんから
p=偽、q=真 のケースが存在します。
するとそのケースでは (p∧q)∨(¬p∧¬q)は偽になりますから
全称命題 p⇔q は偽ということになります。
大学だと記号論理学の講義で、∀ をいう記号を習う
と思います。今の高校だとこの辺どう教えているか
把握してないです。
No.1
- 回答日時:
p:△ABCのうち、∠Aは直角
q: △ABCは直角三角形である
とした時に、
(反例:∠B=90°∠A=30°∠C=60°)
のように
qが真
pは偽
であるものが存在するから
q⇒pは偽
p⇔qは偽
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 高校一年生です。 数学で分からない単元があるので教えて欲しいです。単元は命題の真偽です。 出た課題の 4 2023/08/18 16:30
- 数学 必要十分条件と同値について 1 2022/06/25 00:56
- その他(教育・科学・学問) 直観主義論理は何の役に立つのでしょうか? 実生活において、「明日、雨が降る」という命題があるとしたら 1 2022/08/22 02:28
- 物理学 微分方程式の物理現象への適用について 3 2023/05/14 12:22
- 高校 数学の成績の波が激しい&思い込みが強すぎるのを治したいです 6 2022/12/21 21:44
- 高校 対数方程式につきまして 4 2022/05/05 07:55
- 流行・カルチャー 上祐史浩氏らが激論 なぜ今陰謀論が飛び交う?「他力本願で楽な道」「自尊心を満たす心理」 1 2022/05/25 23:25
- 数学 写真のように両辺に同じ値の分母がついても三平方の定理が成り立つ理由は、方程式において両辺に同じ数をか 6 2022/07/25 18:38
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 数学 円に内接する四角形が出てくる証明(添付した写真のような三角形)の時に、 円に内接する四角形の外角はそ 1 2022/06/04 01:19
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
命題がわかりません!!
-
数学の記号"⇔" "∴"の使い方を教...
-
【 数A 集合を用いた命題の真偽...
-
真偽表(真理値表)について 今日...
-
「PならばQ」と「(Pでない...
-
次の命題は真なのでしょうか? ...
-
原則には、例外が付きものです...
-
任意の実数とは?
-
無理数
-
テーゼとアンチテーゼの意味
-
論理の問題(数的処理)
-
ある等式⇔ある等式の逆数をとっ...
-
『弁証法』を小学生にもわかる...
-
環上の加群、直積、直和
-
高校一年生です。 数学で分から...
-
命題の真偽
-
命題と論理式の違いは何でしょ...
-
ある表現が命題かどうかを示す...
-
高2の数学の対数関数です。 真...
-
三角関数の範囲について、 0≦x≦...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
任意の実数とは?
-
g◦fが全射で、さらにgが単射な...
-
原則には、例外が付きものです...
-
命題と論理式の違いは何でしょ...
-
命題の否定でわからないところ...
-
ゲーデルの第1不完全性定理の具...
-
任意の実数xに対して、x-1<n≦x...
-
命題の真偽
-
必要十分条件
-
努力は成功のための必要条件?
-
射影線型群PGL,PSLについてです
-
ある表現が命題かどうかを示す...
-
無理数
-
高校一年生です。 数学で分から...
-
ある等式⇔ある等式の逆数をとっ...
-
{Ai ; i ∈ N} を位相空間 X の...
-
もしも数学
-
真偽表(真理値表)について 今日...
おすすめ情報