来自Local Chinese Wikipedia
跳转到导航
跳转到搜索
{{#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>）
|
