ベン図は、文章論理の形式的な演算の説明用と、数学寄りの集合論の演算説明用にも利用できる分かり易い図です。しかし、この演算の説明に使っている演算記号は、表2.4のように使い分けます。論理学で使う内含の記号⇒は、集合論では左右反対向きの記号⊃と⊂を使い分けることもします。図2.1のベン図では、便宜的に記号⊃を使っています。論理式を使うとき、演算子には特殊な字形の活字(フォント)を別に準備しなければなりません。文書の閲覧にインターネットを利用する電子書籍が普及してきましたので、HTML文書の原稿を作成するときは、この演算子記号の送受信に使う表記法と、記号の呼び方が定義されています。これを表2.4に含めました。
表2.4 演算子記号の読み方
日本語の言い方 |
論理学 |
集合論 |
記号 |
英語の 読み方 |
HTMLの 表記法 |
記号 |
英語の 読み方 |
HTMLの 表記法 |
および、かつ、連言、 論理積、合接、積集合 |
∧ |
And |
∧ |
∩ |
Cap |
∩ |
または、選言、 論理和、離接、和集合 |
∨ |
Or |
∨ |
∪ |
Cup |
∪ |
ならば、内含、 部分集合 |
⇒ |
Imply |
⇒ |
⊃ ⊂ |
Superset Subset |
⊃ ⊂ |
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」 |