海外の妖しい Blog 記事から メモ：命題論理における「ならば（含意、条件法）」のスッキリした説明履歴 (2021-07-14) fc2 の古いリンク形式を変更。ついでに書式変更 (2012-07-16) 作成 前置き ・以下、自分用メモ はじめに ・命題論理における含意（ならば、記号では 「⇒」 ）とは… 出典：田崎晴明 『数学 ― 物理を学び楽しむためにー 暫定版（2012 年3 月）』 23頁 （数学の教科書(無料)）： http://www.gakushuin.ac.jp/~881791/mathbook/ ・この「含意（ならば）」は分かりづらいと言われている。たとえば… --- 命題 P ⇒ Q は通常「P ならば Q」あるいは「P は Q を含意する」と読む。この読み方と定義 (2.1.16) とのギャップに悩む人が多いので、ここで少し詳しくみておこう。 われわれの通常の感覚では「ならば」というのは何らかの因果関係を表わす言葉なので、単に二つの命題を並べて「ならば」と言われ
