2 svar
121 visningar
lund behöver inte mer hjälp
lund 529
Postad: 21 jun 2021 15:46 Redigerad: 21 jun 2021 15:55

Kripke modeller

Jag håller på med Kripke modeller inom modal logik och vill förstå om det gäller för värld 4 och 6 att den innehåller icke-p? Det vill säga om s4 och s6 är en modell av icke-p?

Det jag egentligen ska ta reda på är om följande gäller: 

Men har gjort alla steg fram tills att jag ska avgöra om icke-p finns i värld 4 och 6.

Laguna Online 30500
Postad: 21 jun 2021 22:36

Är det inte bara så att eftersom p finns i värld 4 så gäller inte icke-p där? Och omvänt för värld 6.

lund 529
Postad: 23 jun 2021 00:20
Laguna skrev:

Är det inte bara så att eftersom p finns i värld 4 så gäller inte icke-p där? Och omvänt för värld 6.

Det låter korrekt, tack så mycket!

Svara
Close