Was bedeutet die semantische Abbinden relation-Mittelwert (M |= A)?

Ich gelesen, dass viele acticles darüber. Sie beschrieben es als :

In der Logik, in der Bedeutung oft von einer Zufriedenheit gegenüber

M |= A

beschreibt, dass, wenn eine situation M erfüllt eine Formel A.

So, ich suchte auch einige Beispiele. Ich fand die Beispiele folgende :

True |= False = false

False |= True = True

Ich nicht verstehe. Was bedeutet es in diesen Fällen?

  • Ich werde die Abstimmung zu schließen, ist diese Frage off-topic, weil es sich gehört auf einem der Mathematik-sites.
InformationsquelleAutor lvarayut | 2013-05-10
  1. 10

    werden(vorausgesetzt, Sie sprechen über die Aussagenlogik (es ist ähnlich wie für andere Logiken, wie pred. Logik))

    für zwei Formeln A und B:

    A |= B 
"B evaluates to true under all evaluations that evaluate A to true"

    für eine Reihe von Formeln M und eine Formel B:

    M |= B
"for every evaluation: B evaluates to true if only all elements of M
 evaluate to true"

    kommen auf Ihre Beispiele:

    true |= false 
is incorrect since evaluations exist


false |= A
is correct for any formula A, since 'false' is never evaluated to 'true'
under any evaluation

    rgrds.

    • Danke @olodnad, aber ich habe einige Fragen. Warum unwahr (false): = A ist richtig. "für jede evaluation : wird zu true ausgewertet, wenn nur alle Elemente von false zu true ausgewertet," Aber jetzt, ist die linke Seite falsch ist, ist gleich falsch. Also, warum ist es korrekt?
    • zu sehen, dass "false" | = A" wir haben uns davon überzeugen, dass, wenn eine evaluation wertet 'false' auf 'true', dann wertet auch 'A' zu wahren. Da jedoch keine Bewertung, die jemals bewertet "false" auf "true" allem, es ist sicher zu sagen, dass jede evaluation ausgewertet wird 'false' auf 'true' wird auch avaluate 'A' auf 'true'.
    • Es habe!. Danke @olodnad
    • beachten Sie auch, dass die 'falsche' ist eine Formel, nicht eine Reihe von Formeln, daher müssen Sie sich die erste definition von '|=' anstelle der zweiten (wie angedeutet, durch deinen Kommentar).
    InformationsquelleAutor D.F.F
Schreibe einen Kommentar