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). Im Folgenden geht es nur um die logische Äquivalenz, nicht jedoch um das Bikonditional.

Property Value
dbo:abstract
  • 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. (de)
  • 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. (de)
dbo:wikiPageID
  • 262892 (xsd:integer)
dbo:wikiPageRevisionID
  • 147115929 (xsd:integer)
dct:subject
rdfs:comment
  • 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). Im Folgenden geht es nur um die logische Äquivalenz, nicht jedoch um das Bikonditional. (de)
  • 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). Im Folgenden geht es nur um die logische Äquivalenz, nicht jedoch um das Bikonditional. (de)
rdfs:label
  • Logische Äquivalenz (de)
  • Logische Äquivalenz (de)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of