来自Local Chinese Wikipedia
imported>米沙鄢2022年5月22日 (日) 07:39的版本
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
{{#lsth:命题}}
|
|---|
- {{恒真}}（<math>\top</math>）
| |
- {{与非}}（<math>\uparrow</math>）
- {{反蕴涵}}（<math>\leftarrow</math>）
- {{蕴涵}}（<math>\rightarrow</math>）
- {{或}}（<math>\lor</math>）
|
- {{非}}（<math>\neg</math>）
- {{异或}}（<math>\oplus</math>）
- {{双条件}}（<math>\leftrightarrow</math>）
- {{命题}}
|
- {{或非}}（<math>\downarrow</math>）
- {{非蕴涵}}（<math>\nrightarrow</math>）
- {{反非蕴涵}}（<math>\nleftarrow</math>）
- {{与}}（<math>\land</math>）
|
- {{恒假}}（<math>\bot</math>）
|
