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

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

AttributesValues
rdfs:label
  • Equivalència lògica (ca)
  • Équivalence logique (fr)
  • تكافؤ منطقي (ar)
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)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:wikiversity
  • Implication et équivalence (fr)
prop-fr:wikiversityTitre
  • Implication et équivalence (fr)
foaf:isPrimaryTopicOf
has abstract
  • 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. La relation d'équivalence logique entre propositions est étroitement liée au connecteur d’équivalence, souvent noté ⇔ ou ↔, qui peut être défini (de façon très générale, aussi bien en logique classique que par exemple en logique intuitionniste) comme la conjonction de l'implication P ⇒ Q (« Q si P ») et de sa réciproque Q ⇒ P (Q seulement si P), soit (P ⇒ Q) ∧ (Q ⇒ P). L'affirmation que P ⇔ Q revient à dire que P et Q sont équivalentes. Dit autrement (en logique classique), la proposition P ⇔ Q prend la valeur « vraie » quand P et Q sont logiquement équivalentes, et seulement dans ce cas. En logique, la relation d'équivalence est parfois notée ≡ (la notation ⇔ ou ↔ étant réservée au connecteur). En électronique, une fonction similaire est appelée opérateur de coïncidence, voire ET inclusif, et est symbolisée par le signe « ⊙ ». Cette fonction est conçue comme la négation du ou exclusif, noté XOR, qui est bien l'opposé logique de l'équivalence. (fr)
is dbo:wikiPageWikiLink of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software