Logik: Kripkes semantik: modalogik
Hej,
Jag har försökt att lösa en uppgift inom Kripkes semantik (aletisk modalogik), jag presenterar min lösning nedan men skulle uppskatta hjälp med om jag har tänkt rätt. Jag har precis börjat med kursen och detta är ett försök till att lösa den, är inte helt säker ännu på hur man gör så har behövt testa mig fram:
Tack på förhand!
Vad är uppgiften och vad betyder fyrkant och ruter?
Micimacko skrev:Vad är uppgiften och vad betyder fyrkant och ruter?
Hej! Jag ska avgöra om formeln som står innan lösningen är sann eller falsk, uppgiften behandlar Kripkes modell.
Fyrkanten är densamma som allkvantifikatorn (”för alla..”) och ruter är densamma som existenkvantifikatorn (”för något..”).
Jag skriver <> och [] för jag har inte hittat de rätta symbolerna än.
Är det inte så att <>p gäller i S6, eftersom p gäller i S4, som man kan komma till från S6 via S3? Eller får man bara ta ett steg?
Jag svarar på min egen fråga: nej, hela relationen ges av pilarna i figuren. Den är inte nödvändigtvis transitiv.
Men nu undrar jag om (icke q) -> p gäller i S5. Det blir väl sann->falsk då?
