File:Logical connectives Hasse diagram.svg
此SVG文件的PNG预览的大小：424 × 600像素。 其他分辨率：170 × 240像素 | 339 × 480像素 | 543 × 768像素 | 724 × 1,024像素 | 1,448 × 2,048像素 | 744 × 1,052像素。
原始文件 （SVG文件，尺寸为744 × 1,052像素，文件大小：201 KB）
摘要
 |
 | |
| (Logical connectives table and Hasse diagram) |
| 描述 |
English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by:
|
||
| 日期 | |||
| 来源 | 自己的作品 | ||
| 作者 |
|
||
| 授权 (二次使用本文件) |
|
||
| 其他版本 |
Printable versions: See also: |
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2023年2月13日 (一) 14:17 | | 744 × 1,052（201 KB） | TeunSpaans | updated to newer inkscape version, hopefully alll previous issues solved |
| 2021年7月24日 (六) 14:14 |  | 744 × 1,052（201 KB） | Watchduck | revert to last version by myself | |
| 2021年6月20日 (日) 14:59 |  | 744 × 1,052（193 KB） | Mechachleopteryx | widened xor symbol | |
| 2021年6月20日 (日) 14:38 |  | 744 × 1,052（193 KB） | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | |
| 2021年6月20日 (日) 14:33 |  | 744 × 1,052（201 KB） | Mechachleopteryx | Reverted to version as of 19:25, 7 May 2010 (UTC) | |
| 2021年6月20日 (日) 14:27 |  | 744 × 1,052（193 KB） | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | |
| 2021年6月20日 (日) 14:24 |  | 744 × 1,052（201 KB） | Mechachleopteryx | Reverted to version as of 19:25, 7 May 2010 (UTC) | |
| 2021年6月20日 (日) 14:17 |  | 744 × 1,052（193 KB） | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | |
| 2010年5月7日 (五) 19:25 |  | 744 × 1,052（201 KB） | Watchduck | changed XOR sign from <math>\dot\or</math> to <math>\oplus</math> | |
| 2009年8月24日 (一) 17:00 |  | 744 × 1,052（206 KB） | Watchduck |
文件用途
以下34个页面使用本文件：
- 与门
- 与非门
- 反相器
- 同或门
- 命题逻辑
- 实质条件
- 实质非蕴涵
- 异或门
- 当且仅当
- 恆真式
- 或门
- 或非门
- 矛盾
- 緩衝閘
- 自由布尔代数
- 蕴涵
- 蘊含閘
- 谢费尔竖线
- 逻辑与
- 逻辑异或
- 逻辑或
- 逻辑或非
- 逻辑运算符
- 逻辑非
- Template:If both
- Template:If both/doc
- Template:If either
- Template:If either/doc
- Template:Ifnotempty
- Template:Ifnotempty/doc
- Template:逻辑联结词
- Template:逻辑联结词模板
- Template:逻辑联结词模板文档
- Template talk:逻辑联结词模板
全域文件用途
以下其他wiki使用此文件：
- az.wikipedia.org上的用途
- beta.wikiversity.org上的用途
- ca.wikipedia.org上的用途
- cs.wikipedia.org上的用途
- de.wikipedia.org上的用途
- el.wikipedia.org上的用途
- eml.wikipedia.org上的用途
- en.wikipedia.org上的用途
- Logical disjunction
- Logical conjunction
- Logical connective
- Sheffer stroke
- Inverter (logic gate)
- Exclusive or
- Converse (logic)
- Negation
- Logical NOR
- Logical biconditional
- False (logic)
- Material conditional
- Boolean function
- Talk:Logical connective
- AND gate
- OR gate
- NAND gate
- Logical equality
- XOR gate
- XNOR gate
- NOR gate
- Logical truth
- Tautology (logic)
- Outline of logic
- User:Koryu Obihiro
- Template:Logical connectives
- Material nonimplication
- Converse nonimplication
- Wikipedia:WikiProject Logic/Logical Operators
- User talk:Gregbard/Archive 1
- Wikipedia talk:WikiProject Mathematics/Archive/2008
- Template:Logical connectives table and Hasse diagram
查看此文件的更多全域用途。
元数据
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
