About: dbpedia-fr:Équivalence

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Équivalence_logique Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:comment	En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité : P et Q sont soit toutes les deux vraies, soit toutes les deux fausses. L'équivalence logique s'exprime souvent sous la forme si et seulement si, dans des cadres comme l'enseignement ou la métamathématique pour parler des propriétés de la logique elle-même, et non du connecteur logique qui lie deux propositions. (fr)
dbo:wikiPageWikiLink	≡ category-fr:Connecteur_logique Propositional calculus dbpedia-fr:Coïncidence_(informatique) Exclusive or dbpedia-fr:Implication_(logique) dbpedia-fr:Logique_classique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Nombre_réel dbpedia-fr:Proposition dbpedia-fr:Proposition_contraposée dbpedia-fr:Racine_carrée Equivalence relation Reflexive relation Symmetric relation Transitive relation Truth table Truth value
foaf:isPrimaryTopicOf	wikipedia-fr:Équivalence_logique
is dbo:wikiPageWikiLink of	≡ dbpedia-fr:If_and_Only_If dbpedia-fr:⇔ 19 (number) dbpedia-fr:4_(nombre) dbpedia-fr:A_fortiori dbpedia-fr:Action_par_conjugaison Affirming the consequent Boolean algebra Two-element Boolean algebra Kleene algebra Lindenbaum–Tarski algebra Fredholm alternative dbpedia-fr:Antiprisme dbpedia-fr:Antonymie Map (mathematics) Tree (set theory) dbpedia-fr:Argument_de_la_régression With high probability Axiom of pairing Sheffer stroke Bertrand Russell Boolean data type dbpedia-fr:Béhaviorisme_logique CNS CW complex dbpedia-fr:Codage_entropique dbpedia-fr:Cohérentisme Condition Truth condition dbpedia-fr:Condition_nécessaire Heawood conjecture Logical connective Soundness dbpedia-fr:Couplage_(théorie_des_graphes) dbpedia-fr:Coïncidence_(informatique) dbpedia-fr:Cube_multimagique Càdlàg dbpedia-fr:David_Kaplan dbpedia-fr:David_M._Armstrong Halved cube graph dbpedia-fr:Disjonction_logique dbpedia-fr:Distribution_(mathématiques) dbpedia-fr:Décomposition_d'une_matrice_en_éléments_propres dbpedia-fr:Décomposition_de_Dunford dbpedia-fr:Déduction_logique dbpedia-fr:Détection_de_collision dbpedia-fr:Développement_limité Logical positivism Julia set dbpedia-fr:Ensembliste-identitaire_et_mathématiques Hilbert space Exclusive or Activation function Single-variable quadratic function Monotonic function dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Forme_normale_disjonctive dbpedia-fr:Formule_propositionnelle Irreducible fraction dbpedia-fr:Gottlob_Frege Lojban grammar Group (mathematics) Symplectic group Topological group Hermitian matrix dbpedia-fr:IFF dbpedia-fr:Iconographie_des_corrélations Identity dbpedia-fr:Identité_psychophysique dbpedia-fr:Implication_(logique) dbpedia-fr:Implication_réciproque Euler's totient function Mutual information Injective function dbpedia-fr:Intension_et_extension dbpedia-fr:Interprétation_(logique) dbpedia-fr:Intégrabilité dbpedia-fr:Intégration_(mathématiques)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 6 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software