出自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>）
|
