File:Noncont.svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 300 × 100 pixels. Other resolutions: 320 × 107 pixels | 640 × 213 pixels | 1,024 × 341 pixels | 1,280 × 427 pixels | 2,560 × 853 pixels.
Original file (SVG file, nominally 300 × 100 pixels, file size: 6 KB)
Captions
Captions
Add a one-line explanation of what this file represents
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, .
Summary[edit]
| Description | logic |
| Source | Own work |
| Author | Cronholm144 |
Licensing[edit]
|
This work 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 (talk | contribs) | {{Information |Description=logic |Source=self-made |Date= |Author= Cronholm144 }} |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on mk.wikipedia.org
