Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig.

Property Value
dbo:abstract
  • Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig. (de)
  • Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig. (de)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 531540 (xsd:integer)
dbo:wikiPageRevisionID
  • 151799626 (xsd:integer)
dct:subject
rdfs:comment
  • Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig. (de)
  • Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig. (de)
rdfs:label
  • Interpretation (Logik) (de)
  • Interpretation (Logik) (de)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of