真偽表(真理値表)について
今日、大学の授業で真偽表(真理値表)について学習しました。(画像)(見づらかったらすみません)
∨、∧、¬は分かったのですが、
⇒、⇐、⇔の時が全然理解できません。
調べたところ、
『前提正しいなら結論も正しく、
前提間違ってんなら結論なんだっていいじゃん』
とイメージせよと出てきました。
この考え方をイメージすれば、表自体は覚えられたのですが、なぜそうなるのか?がどうしても理解できません…。
例えば、
p:△ABCのうち、∠Aは直角である
q: △ABCは直角三角形である
とした時に、
p⇒qは真だがq⇒pは偽だと思います。(反例:∠B=90°)
でも、真偽表ではp⇔qが成り立つんですよね、、?
これはどういう考え方をしているのですか…?
自分が的はずれなことを考えているのは分かるのですが、どこをどのように考えるのかが分からないのでどなたか教えていただけると嬉しいです、、。
ついでに、pとqの命題変数(?)の例も載せていただけると幸いです。。
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
p:△ABCのうち、∠Aは直角
q: △ABCは直角三角形である
とした時に、
(反例:∠B=90°∠A=30°∠C=60°)
のように
qが真
pは偽
であるものが存在するから
q⇒pは偽
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.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.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はそれ単独で意味が決まる文言ではなく、こんなもん命題とは言えない。
というわけで、論理で扱える形になっていないものを、論理演算の例題として取り上げるのは単に不適切。例に取り上げた話が複雑過ぎて、キチンと整理しきれていない、というだけのことですが。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
努力は成功のための必要条件?
-
数学の記号"⇔" "∴"の使い方を教...
-
高校数学
-
無理数
-
命題
-
数学において Pが偽、Qが真のと...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題と論理式の違いは何でしょ...
-
必要十分条件
-
任意の実数xに対して、x-1<n≦x...
-
数学の理論展開は 全て前後で必...
-
高2の数学の対数関数です。 真...
-
「余年」の意味について教えて...
-
三角関数の範囲について、 0≦x≦...
-
シグマの範囲が2nまでの関数で...
-
エクセルで(~以上,~以下)...
-
「無限の一つ前の数字は何?」...
-
dx/dy や∂x/∂y の読み方について
-
【数学】 lim x→a ↑これってど...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
任意の実数とは?
-
【 数A 集合を用いた命題の真偽...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題の否定でわからないところ...
-
無理数
-
xは、実数とする時、次の命題が偽...
-
命題
-
数学のサイトについて。
-
真偽表(真理値表)について 今日...
-
高校数学です! x, yを実数とす...
-
テーゼとアンチテーゼの意味
-
命題と論理式の違いは何でしょ...
-
必要十分条件
-
任意の実数xに対して、x-1<n≦x...
-
ある等式⇔ある等式の逆数をとっ...
-
ゲーデルの第1不完全性定理の具...
-
努力は成功のための必要条件?
-
ある表現が命題かどうかを示す...
おすすめ情報