Fichier:Consistency.png
De Wikipedia, l'encyclopédie encyclopedia
Consistency.png (70 × 15 pixels, taille du fichier : 710 octet, type MIME : image/png)
Ce fichier et sa description proviennent de Wikimedia Commons.
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 ∙ Ελληνικά ∙ български ∙ македонски ∙ русский ∙ 日本語 ∙ فارسی ∙ +/− |
Description
DescriptionConsistency.png |
Français : Formule d'exclusion mutuelle d'une proposition et de sa négation. |
|
Date | ||
Source | Travail personnel, made with LaTeX | |
Auteur |
|
Conditions d’utilisation
Public domainPublic domainfalsefalse |
Ce document n'est pas soumis au droit d'auteur et est donc dans le domaine public, car il est composé exclusivement d'informations qui sont dans le domaine public et ne contient aucune modification qui en ferait une œuvre originale. |
Éléments décrits dans ce fichier
dépeint
Valeur sans élément de Wikidata
10 juillet 2007
image/png
32471217d614fefa2832a1958fea4629b16fa087
710 octet
15 pixel
70 pixel
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|---|
actuel | 10 août 2007 à 17:29 | 70 × 15 (710 octet) | Eusebius | {{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= }} |
Utilisation du fichier
Plus de 100 pages utilisent ce fichier. La liste suivante affiche seulement les 100 premières pages qui utilisent ce fichier. Une liste complète est disponible.
- Amalgame sémantique
- Argumentum a silentio
- Argumentum ad consequentiam
- Argumentum ad crumenam
- Argumentum ad lazarum
- Attribut (philosophie)
- Cercle vicieux
- Clause (logique)
- Connaissance commune
- Démonstration automatique de théorèmes
- Implication réciproque
- Inductivisme
- Inférence (logique)
- Logicisme
- Logique classique
- Logique d'ordre supérieur
- Logique temporelle
- Métalangage
- Non sequitur
- Paradoxe de Grelling-Nelson
- Paradoxe de Moore
- Paralogisme
- Possibilité et impossibilité
- Postulat
- Principe de bivalence
- Pétition de principe
- Raisonnement déductif
- Sophisme par association
- Subsomption
- Théorème de Löwenheim-Skolem
- Théorème de compacité
- Théorème de récursion de Kleene
- Valeur de vérité
- Vers de Paterson
- Discussion:Alfred North Whitehead
- Discussion:Algorithme récursif
- Discussion:Algèbre de Boole (logique)
- Discussion:Algèbre de Boole (structure)
- Discussion:Amalgame sémantique
- Discussion:Amphibologie
- Discussion:Aporie
- Discussion:Argument d'autorité
- Discussion:Argument de la diagonale de Cantor
- Discussion:Argumentation
- Discussion:Aristote
- Discussion:Arithmétique de Presburger
- Discussion:Assistant de preuve
- Discussion:Attribut (philosophie)
- Discussion:Autocontradiction
- Discussion:Axiome
- Discussion:Axiome logique
- Discussion:Axiomes de Peano
- Discussion:Bertrand Russell
- Discussion:Calcul des propositions
- Discussion:Calcul des prédicats
- Discussion:Calcul des séquents
- Discussion:Caractéristique universelle
- Discussion:Conjonction logique
- Discussion:Contre-argument
- Discussion:Coq (logiciel)
- Discussion:Coïncidence (informatique)
- Discussion:Empirisme logique
- Discussion:Ensemble
- Discussion:Fonction logique
- Discussion:Georg Cantor
- Discussion:Gottfried Wilhelm Leibniz
- Discussion:Histoire de la logique
- Discussion:Idéographie
- Discussion:Jean Cavaillès
- Discussion:Kurt Gödel
- Discussion:Liste de concepts logiques
- Discussion:Logique
- Discussion:Logique floue
- Discussion:Logique intuitionniste
- Discussion:Logique mathématique
- Discussion:Logique polyvalente
- Discussion:Logique temporelle
- Discussion:Ludwig Wittgenstein
- Discussion:Mathématiques
- Discussion:Paradoxe
- Discussion:Paradoxe du barbier
- Discussion:Paradoxe du fromage à trous
- Discussion:Philosophie analytique
- Discussion:Principe du tiers exclu
- Discussion:Problème de la Belle au bois dormant
- Discussion:Prolog
- Discussion:Pétition de principe
- Discussion:Raisonnement par l'absurde
- Discussion:Robert Blanché
- Discussion:Récursivité
- Discussion:Réfutabilité
- Discussion:Sophisme
- Discussion:Système binaire
- Discussion:Table de vérité
- Discussion:Tautologie
- Discussion:Théorie des ensembles
- Discussion:Théorème
- Discussion:Théorème de complétude de Gödel
- Discussion:Théorèmes d'incomplétude de Gödel
- Discussion:Tractatus logico-philosophicus
Voir plus de liens vers ce fichier.
Ce document provient de « https://fr.wikipedia.org/wiki/Fichier:Consistency.png ».