編集  

命題単語

メイダイ

命題とは、以下のことを表す。

概要

叙文には、正しいことを言っている文と間違ったことを言っている文がある。そのどちらであるかを判断するのは通常受け手である。命題とは、受け手によって偽が異なることのないような叙文のことをいう。数学における定理は通常、命題として書かれる。

ニコニコ動画を例に取ると、「この動画100万再生を果たした動画である」というのは偽が明確であるため命題である。一方、「この動画もっと評価されるべき動画である」というのは「もっと評価されるべき」という明確な基準がないため、命題とはいえない。

論理演算

論理値(・偽)の演算。いくつかの命題を組み合わせてひとつの命題を言い表す際に用いられる。に次の6つが使われる。以下、P,Qは命題とする。

否定

「~でない」ということ。記号は¬を使い、¬Pと書くが、別の表記で書かれることが多い(=などの記号に斜線を加える等)。Pがのとき¬Pは偽であり、Pが偽のとき¬Pはである。

論理積

「~かつ~」ということ。記号は∧を使い、P∧Qと書くが、別の表記で書かれることが多い(カンマで代用する等。論理積であることを明確にするため「AND」と表記する場合もあり)。PとQが両方とものときのみP∧Qはであり、それ以外の場合は偽である。

また、論理積を否定したものを否定論理積といい、NANDと表記する。P NAND Qとは¬(P∧Q)のことである。

論理和

「~または~」ということ。ただし日本語の「または」とは若干ニュアンスが異なる。記号は∨を使い、P∨Qと書くが、別の表記で書かれることが多い(カンマで代用する等。論理積との混同を避けるために「OR」と表記する場合もあり)。PとQが両方とも偽のときのみP∨Qは偽であり、それ以外の場合はである。

また、論理和を否定したものを否定論理和といい、NORと表記する。P NOR Qとは¬(P∨Q)のことである。

排他的論理和

「~または~のいずれか一方」(つまり両方はだめ)ということ。(P∧¬Q)∨(¬P∧Q)などここまでで述べた記号だけで表現可なため特別な記号はない。プログラミング言語などでは「XOR」と表記する場合あり。

含意

「~ならば~」ということ。ただし日本語の「ならば」とは若干ニュアンスが異なる。記号は⇒を使い、P⇒Qと書く。Pが偽またはQがのときP⇒Qはであり、PがかつQが偽のときP⇒Qは偽である。

同値

「言ってることが同じ」ということ。記号は⇔を使い、P⇔Qと書く。PとQの偽が一致しているときP⇔Qはであり、そうでない場合は偽である。

論理演算の性質

次の論理式は常にである。

  • 交換法則: P∧Q ⇔ Q∧P, P∨Q ⇔ Q∨P
  • 結合法則: (P∧Q)∧R ⇔ P∧(Q∧R), (P∨Q)∨R ⇔ P∨(Q∨R)
  • 分配法則: (P∧Q)∨R ⇔ (P∨R)∧(Q∨R), (P∨Q)∧R ⇔ (P∧R)∨(P∧R)
  • ド・モルガン法則: ¬(P∧Q) ⇔ (¬P)∨(¬Q), ¬(P∨Q) ⇔ (¬P)∧(¬Q)

真理値表

論理式の偽と、構成する命題偽との関係を表にしたもの。前述した論理演算を、真理値表を用いて書くと次の通り。

P Q ¬P P∧Q P∨Q P xor Q P⇒Q P⇔Q

これを用いてド・モルガン法則の片方について考えると、常にとなることがわかる。

P Q P∧Q ¬(P∧Q) ¬P ¬Q (¬P)∨(¬Q) ¬(P∧Q) ⇔ (¬P)∨(¬Q)

「ならば」について

数学において、命題は「~ならば~である」の形で書かれることが多い。記号で書くと、前述したとおり「P⇒Q」となる。このPを仮定、Qを結論という。命題P⇒Qに対し、Q⇒Pを逆、(¬P)⇒(¬Q)を裏、(¬Q)⇒(¬P)を対偶という。逆は、元の命題偽が必ずしも一致しないが、対偶は必ず一致する。

P⇒Qは、Pが偽であるときはQの偽を問わずとなる。
これが直感とかけ離れているせいか、疑問に思ってしまう学生が少なからず存在する。そのせいか、このことに中学校高校で触れることはまずない。これは日本語の「ならば」とのニュアンスの違いによるものと考えることができる。
日本語で「甲ならばである」と言った場合、「じゃあ甲じゃなかったらどうなんだろうか」と考える人もいる。「今なら更にもう一缶」などの「今なら」につられるのは「裏」を読んで「今でなくなると、もう一缶のおまけがつかなくなる」と考える心理が働くためではないだろうか。
一方、論理演算の「⇒」はそのような深読みはせず、その文が間違っていなければとするのである。先程の例で「今でない場合」を考えると、その場合は文中で一切触れられてないので、もう一缶プラスしてくれるかどうかは偽不明となる。

命題P⇒Qがであるとき、QはPであるための必要条件、PはQであるための十分条件である。実際、PがであるためにはQがでなければいけないし、QがであるためにはPがであればよい。
大学入試センター試験ではこれに関する問題が必ずと言っていいほど出題される。必要・十分の意味を正しく理解すれば間違うことはないが、ごっちゃになりやすいため、丸暗記に頼る生徒がほとんどである。それどころか、丸暗記をすすめる教師まで存在する。

全称命題、存在命題

全称命題は、「すべてのxに対し~」という類の命題記号を用い、xに対し~と表記する。
存在命題は、「あるxに対し~」という類の命題記号を用い、x s.t. ~と表記する。s.t.はsuch thatの略。
数学ではよく用いられる表記だが、ε-δ論法ではこれらをいくつも組み合わせるので、混乱する学生が後を絶たないとか。

関連項目


【スポンサーリンク】

スマホ版URL:
https://dic.nicovideo.jp/t/a/%E5%91%BD%E9%A1%8C
ページ番号: 4455229 リビジョン番号: 2031209
読み:メイダイ
初版作成日: 10/09/05 08:10 ◆ 最終更新日: 14/05/31 17:13
編集内容についての説明/コメント: ドラマ「天国に一番近い男」の記述を追加。「全称命題、存在命題」の文字サイズ変更を解除
記事編集 / 編集履歴を閲覧

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

命題について語るスレ

24 : ななしのよっしん :2014/02/17(月) 23:35:01 ID: KzRQNN+H3f
>>23
PropositionのPかな?
Qはその次の文字くらいの意味しかないと思うけど。
25 : ななしのよっしん :2015/01/22(木) 20:52:24 ID: R9f+tdPtlO
「この命題ならば、二次元に行ける」
もしこの命題ならば、この命題が言っている通り二次元に行ける。
これは元の命題と全く同じなので従って
よって二次元に行ける
(カリーのパラドックス
26 : ななしのよっしん :2015/02/11(水) 23:48:34 ID: vezj88FSy+
「至上命題」の「命題」は「命令」に字面が似た言葉を間違って入れてしまったんだろうな
27 : ななしのよっしん :2015/02/13(金) 23:19:56 ID: qoChRGjn7w
必要/十分という日本語はどうもよろしくないんだよなぁ。
もうちょい直感的な訳はなかったものか。
28 : ななしのよっしん :2016/08/18(木) 20:08:04 ID: zIjlKLX5OR
野獣先輩は生きている。


この命題なんとかしてだと明するんだよあくしろよ
29 : ななしのよっしん :2016/08/30(火) 14:13:41 ID: mJblqEZ1Jz
>>26
雰囲気任せに命令や課題との合体事故起こした感があるよね
30 : ななしのよっしん :2017/06/17(土) 22:02:05 ID: 2KUzp5fm9R
これ以上疑いようがない公理を決めてもらわんことには、
命題が存在する意味がない
公理が決まった所で、偽判定出来ない命題も出てくるが
だからといって疑いだしたらキリがない
31 : ななしのよっしん :2017/09/06(水) 16:15:57 ID: ElBiX5J+5y
命題 嫌ならやめろ
逆 やめるなら嫌になれ
裏 嫌でないならやめるな
対偶 やめないなら嫌になるな
32 : ななしのよっしん :2018/01/12(金) 22:28:49 ID: Zx4Rl0H/JQ
・排他的論理積とは、XANDについて
http://www7b.biglobe.ne.jp/~w8g7i/wkpd-xand/index.htm
33 : ななしのよっしん :2018/05/04(金) 05:18:08 ID: S+r6UF/zmJ
論理学という具が役に立つか立たないかは使い手の技量次第である
急上昇ワード
ニコニコニューストピックス