File:Noncont.svg
From Wikipedia, the free encyclopedia
No higher resolution available.
Noncont.svg (SVG file, nominally 300 × 100 pixels, file size: 6 KB)
 |
This is a file from the Wikimedia Commons. Information from its description page there is shown below. |
The image represents the Law of noncontradiction. It may be interpreted as meaning 'It is not the case that P is true and not-P is true.' It is a theorem of intuitionistic logic as well as classical logic, unlike its De Morgan dual ¬P∨P which is only a theorem of classical logic, .
[edit] Summary
| Description | logic |
| Date | |
| Source | Own work |
| Author | Cronholm144 |
[edit] Licensing
 |
This file is ineligible for copyright and therefore in the public domain, because it consists entirely of information that is common property and contains no original authorship.
|
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 05:26, 14 July 2007 | | 300 × 100 (6 KB) | Cronholm144 | {{Information |Description=logic |Source=self-made |Date= |Author= Cronholm144 }} |
File usage
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
