File:Logic.svg
此SVG文件的PNG预览的大小：85 × 28像素。 其他分辨率：320 × 105像素 | 640 × 211像素 | 1,024 × 337像素 | 1,280 × 422像素 | 2,560 × 843像素。
原始文件 （SVG文件，尺寸为85 × 28像素，文件大小：218 KB）
摘要
| 描述 |
English: SVG version of ¬(p˄¬p) |
| 日期 | |
| 来源 | 自己的作品 |
| 作者 | It Is Me Here |
许可协议
我，本作品著作权人，特此采用以下许可协议发表本作品：
本文件采用知识共享署名-相同方式共享 3.0 未本地化版本许可协议授权。
- 您可以自由地：
- 共享 – 复制、发行并传播本作品
- 修改 – 改编作品
- 惟须遵守下列条件：
- 署名 – 您必须对作品进行署名，提供授权条款的链接，并说明是否对原始内容进行了更改。您可以用任何合理的方式来署名，但不得以任何方式表明许可人认可您或您的使用。
- 相同方式共享 – 如果您再混合、转换或者基于本作品进行创作，您必须以与原先许可协议相同或相兼容的许可协议分发您贡献的作品。
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2012年1月26日 (四) 13:35 | | 85 × 28（218 KB） | It Is Me Here |
文件用途
以下3个页面使用本文件：
全域文件用途
以下其他wiki使用此文件：
- be-tarask.wikipedia.org上的用途
- ca.wikipedia.org上的用途
- de.wikipedia.org上的用途
- en.wikipedia.org上的用途
- Charles Sanders Peirce
- Georg Cantor
- Law of noncontradiction
- Law of excluded middle
- Ludwig Wittgenstein
- Propositional calculus
- Modus ponens
- Principle of bivalence
- Classical logic
- De Morgan's laws
- Material implication (rule of inference)
- Logicism
- Principle of explosion
- Truth function
- Monotonicity of entailment
- Problem of multiple generality
- Commutativity of conjunction
- Wikipedia:WikiProject Logic
- Truth table
- Template:Classical logic
- Wikipedia:School and university projects/Discrete and numerical mathematics/Learning plan
- User:BARTCAT/sandbox
- User:BARTCAT/sandbox-curated-page
- User:WikiLinuz/Mathematics
- en.wikisource.org上的用途
- es.wikipedia.org上的用途
- fa.wikipedia.org上的用途
查看此文件的更多全域用途。
