Ich hänge fest bei Kripke-Semantik und fragen sich, ob es eine educational software durch die ich die Äquivalenz von Aussagen usw. testen kann, da ich anfange zu glauben, dass es einfacher ist, durch Beispiele zu lernen (selbst wenn es um abstrakte Variablen geht).
Ich werde die
- A notwendigerweise A zu schreiben
- A für möglicherweise A
Werden die Werte true, false, true, false ausgewertet, und wenn ja, welche Werte oder Arten von Werten aus welcher Menge ({true, false} oder vielleicht {necessary,possibly})? [1]
Ich glaube, ich habe alles gelesen Kripke models verwenden Sie die duality axiom :
(A)->(¬¬A)
d.h. wenn es notwendig ist paytax dann ist es nicht erlaubt, nicht paytax
(unabhängig davon, ob es notwendig ist, Steuern zu zahlen...)
d.h.2. wenn es notwendig ist earnmoney Es ist nicht erlaubt, nicht earnmoney
(wiederum unabhängig davon, ob das Geldverdienen wirklich notwendig ist, gilt die Logik, so weit)
Da A->B äquivalent zu ¬A<-¬B ist, testen wir
¬A<-¬A
Es ist nicht notwendig, dass upvote wenn es erlaubt ist, nicht upvote
Dieses Axiom gilt in doppelter Hinsicht:
A->¬¬A
Wenn es erlaubt ist earnmoney dann ist es nicht notwendig, nicht earnmoney
Nicht alle Modalitäten verhalten sich gleich, und verschiedene Kripke model sind für die Modellierung eines Modalits besser geeignet als für einen anderen: nicht alle Kripke models dasselbe verwenden axioms . (Sind klassische Quantoren auch Modalitäten? wenn ja, dann Kripke models erlauben, sie zu modellieren?)
Ich werde die Liste der gängigen Axiome durchgehen und versuchen, Beispiele zu finden, die es als kontraintuitiv oder unnötig erscheinen lassen, zu postulieren...
- (A->B)->(A->B):
wenn (es notwendig ist, dass (Geld verdienen Steuern zahlen muss)) dann ((die Notwendigkeit des Geldverdienens) impliziert (die Notwendigkeit des Steuerzahlens))
Beachten Sie, dass Geld verdienen nicht bedeutet, Steuern zu zahlen, die Falschheit der Implikation A->B hat keinen Einfluss auf den Wahrheitswert des Axioms...
Es dauert zu lange, meine Probleme zu formulieren, wenn ich versuche, das alles zu verstehen... Sie können es gerne bearbeiten
