En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand elles ont même valeur logique, il est possible de déduire Q à partir de P et de déduire P à partir de Q. En logique classique, cela revient à dire que P et Q ont même valeur de vérité : P et Q sont soit toutes les deux vraies, soient toutes les deux fausses.

PropertyValue
dbpedia-owl:abstract
  • En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand elles ont même valeur logique, il est possible de déduire Q à partir de P et de déduire P à partir de Q. En logique classique, cela revient à dire que P et Q ont même valeur de vérité : P et Q sont soit toutes les deux vraies, soient toutes les deux fausses. 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 et de sa réciproque Q ⇒ 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 appelé ET inclusif est symbolisé par le signe « ⊙ ».
  • Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im Sinne der formalen Äquivalenz (Logische Äquivalenz).Bikonditional (materiale Äquivalenz) und logische Äquivalenz (formale Äquivalenz) sind wesentlich verschiedene Begriffe. Das Bikonditional ist ein Begriff der Objektsprache, die logische Äquivalenz ist ein Begriff der Metasprache. Die Begriffe sind jedoch aufeinander bezogen: die logische Äquivalenz ist ein allgemeingültiges Bikonditional.Im Folgenden geht es nur um die logische Äquivalenz, nicht jedoch um das Bikonditional.
  • A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az igazságtáblázatuk azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel.
  • 수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미한다. 이것은 한 문장이 참이면 다른 한 문장도 참이고, 한 문장이 거짓이면 다른 문장도 거짓이 된다는 것을 뜻한다.vi:Tương đương logic
  • In logic, statements p and q are logically equivalent if they have the same logical content. This is a semantic concept; two statements are equivalent if they have the same truth value in every model (Mendelson 1979:56). The logical equivalence of p and q is sometimes expressed as , Epq, or .However, these symbols are also used for material equivalence; the proper interpretation depends on the context. Logical equivalence is different from material equivalence, although the two concepts are closely related.
  • In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben. Twee uitspraken zijn syntactisch equivalent als de ene uit de andere bewezen kan worden en omgekeerd. Twee uitspraken zijn semantisch equivalent als zij dezelfde waarheidswaarde hebben voor alle modellen. Als een logica gezond en volledig is komen syntactische en semantische equivalentie overeen.Logische equivalentie wordt soms genoteerd als p ≡ q of p ⇔ q. Deze notatie wordt ook gebruikt voor dan en slechts dan als waardoor het gebruik van deze symbolen van de context afhangt. Logische equivalentie is een uitspraak in metataal aangezien het iets zegt over de proposities in het formele systeem.Een andere vorm van equivalentie in de logica is vervulbaarheidsequivalentie.
dbpedia-owl:wikiPageID
  • 67849 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 5048 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 15 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 109665036 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • Implication et équivalence
prop-fr:wikiversityTitre
  • Implication et équivalence
  • Implication et équivalence
dcterms:subject
rdfs:comment
  • En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand elles ont même valeur logique, il est possible de déduire Q à partir de P et de déduire P à partir de Q. En logique classique, cela revient à dire que P et Q ont même valeur de vérité : P et Q sont soit toutes les deux vraies, soient toutes les deux fausses.
  • A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az igazságtáblázatuk azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel.
  • 수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미한다. 이것은 한 문장이 참이면 다른 한 문장도 참이고, 한 문장이 거짓이면 다른 문장도 거짓이 된다는 것을 뜻한다.vi:Tương đương logic
  • In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben. Twee uitspraken zijn syntactisch equivalent als de ene uit de andere bewezen kan worden en omgekeerd. Twee uitspraken zijn semantisch equivalent als zij dezelfde waarheidswaarde hebben voor alle modellen. Als een logica gezond en volledig is komen syntactische en semantische equivalentie overeen.Logische equivalentie wordt soms genoteerd als p ≡ q of p ⇔ q.
  • In logic, statements p and q are logically equivalent if they have the same logical content. This is a semantic concept; two statements are equivalent if they have the same truth value in every model (Mendelson 1979:56). The logical equivalence of p and q is sometimes expressed as , Epq, or .However, these symbols are also used for material equivalence; the proper interpretation depends on the context.
  • Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im Sinne der formalen Äquivalenz (Logische Äquivalenz).Bikonditional (materiale Äquivalenz) und logische Äquivalenz (formale Äquivalenz) sind wesentlich verschiedene Begriffe.
rdfs:label
  • Équivalence logique
  • Ekvivalence (logika)
  • Equivalencia lógica
  • Equivalência lógica
  • Logical equivalence
  • Logikai ekvivalencia
  • Logische equivalentie
  • Logische Äquivalenz
  • 동치
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of