記号論理の記号の例
| 記号 | 意味 | 解説 |
| ∧ | 論理積 | 「P∧Q」は「命題 P と命題 Q がともに真」という命題を表す。 |
| ∨ | 論理和 | 「P∨Q」は「命題 P と命題 Q の少なくとも一方は真」という命題を表す。 |
| ⇒ | 接続 | 「P⇒Q」は、「命題 P が真なら必ず命題 Q も真」という命題を表す。P が偽の場合は P ⇒ Q は真である。 |
| ⇔ | 同値 | 「P⇔Q」は、 P と Q の真偽が必ず一致することを意味する。 |
| ∴ | 結論 | 「したがって」「よって」を意味する。 |
| ∵ | 根拠 | 「なぜならば」を意味する。 |
| A.E. | 反例 | 「反例は」を意味する。 |
| proof | 証明 | 証明の初めに記載する。 |
| ceco | 補足 | 証明の文中に補足したいときに記載する。必ずproofの次の行に記載する。 |
| Q.E.D , ■ | 証明終了マーク | 証明が終了したことを意味する記号。 |
