Logica modale - □ Distribuzione su →

https://cs.stackexchange.com/questions/63679

04-11-2019
|

Domanda

Nella logica modale k Kes □ Distribuzione oltre →?

Ad esempio, sarebbe corretto quanto segue?

□ (P → Q) ≡ □ P → □ Q

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione

Non affiliato a cs.stackexchange