Jump to content

File:Noncont.svg

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (SVG file, nominally 300 × 100 pixels, file size: 6 KB)

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 ¬PP 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.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current05:26, 14 July 2007Thumbnail for version as of 05:26, 14 July 2007300 × 100 (6 KB)Cronholm144{{Information |Description=logic |Source=self-made |Date= |Author= Cronholm144 }}

Global file usage