File:Noncont.svg
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)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
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
| Description | logic |
| Source | Own work |
| Author | Cronholm144 |
Licensing
|
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 | {{Information |Description=logic |Source=self-made |Date= |Author= Cronholm144 }} |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
