File:Consistency.png
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Consistency.png (70 × 15 pixels, file size: 710 bytes, MIME type: image/png)
File information
Structured data
Captions
Captions
Add a one-line explanation of what this file represents
![]() | This image shows some kind of formula that could be converted to TeX. Storing formulas as images makes it harder to change them. TeX also helps making sure that they all use the same font and size.
A replacement has been proposed: In your article, replace the image with: <math>\neg(P\and\neg P)</math> Deutsch ∙ English ∙ italiano ∙ magyar ∙ Nederlands ∙ polski ∙ sicilianu ∙ svenska ∙ Ελληνικά ∙ български ∙ македонски ∙ русский ∙ 日本語 ∙ فارسی ∙ +/− | ![]() |
Summary
[edit]DescriptionConsistency.png |
Français : Formule d'exclusion mutuelle d'une proposition et de sa négation. |
|
Date | ||
Source | Own work, made with LaTeX | |
Author |
|
Licensing
[edit]Public domainPublic domainfalsefalse |
![]() |
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 | 15:29, 10 August 2007 | ![]() | 70 × 15 (710 bytes) | Eusebius (talk | contribs) | {{Information |Description=formule d'exclusion mutuelle d'une proposition et de sa négation |Source=création personnelle sous LaTeX |Date=10/07/07 |Author=~~~ |Permission= |other_versions= }} |
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 fr.wikipedia.org
- Discussion:Mathématiques
- Discussion:Coïncidence (informatique)
- Discussion:Ensemble
- Discussion:Caractéristique universelle
- Discussion:Logique
- Discussion:Algèbre de Boole (logique)
- Discussion:Théorème
- Principe de bivalence
- Discussion:Prolog
- Discussion:Raisonnement par l'absurde
- Discussion:Logique floue
- Discussion:Théorie des ensembles
- Discussion:Aristote
- Discussion:Fonction logique
- Discussion:Principe du tiers exclu
- Discussion:Calcul des propositions
- Discussion:Sophisme
- Discussion:Théorèmes d'incomplétude de Gödel
- Attribut (philosophie)
- Discussion:Équivalence logique
- Discussion:Algorithme récursif
- Discussion:Gottfried Wilhelm Leibniz
- Discussion:Attribut (philosophie)
- Logicisme
- Discussion:Ludwig Wittgenstein
- Discussion:Système binaire
- Discussion:Idéographie
- Discussion:Bertrand Russell
- Discussion:Paradoxe du barbier
- Discussion:Paradoxe
- Métalangage
- Discussion:Calcul des prédicats
- Logique d'ordre supérieur
- Discussion:Coq (logiciel)
- Logique temporelle
- Discussion:Logique temporelle
- Démonstration automatique de théorèmes
- Discussion:Argument de la diagonale de Cantor
- Théorème de récursion de Kleene
- Discussion:Logique mathématique
- Discussion:Aporie
- Discussion:Théorème de complétude de Gödel
- Inductivisme
- Discussion:Axiome
- Discussion:Arithmétique de Presburger
- Discussion:Axiomes de Peano
- Discussion:Robert Blanché
- Théorème de compacité
- Pétition de principe
- Discussion:Table de vérité
View more global usage of this file.