对于如何解释 Kripke 模型，我将不胜感激。
我想确定在 s_1-s_6 的哪个世界中，存在对 p 的否定（$\neg p$），但不知道如何考虑一个空的世界或一个同时包含 p 和 q 的世界，其中这种情况适用于世界 s_4 和 s_6。这两个包含 $\neg p$ 是真的吗？
如果我猜测，空的世界应该包含p的否定，因为世界上根本不存在p，但在同时包含p和q的世界中，我更加分裂。如果 p 和非 p 都存在于世界中，那么对 p 的否定真的可以存在于世界中吗？
对于如何解释 Kripke 模型，我将不胜感激。
我想确定在 s_1-s_6 的哪个世界中，存在对 p 的否定（$\neg p$），但不知道如何考虑一个空的世界或一个同时包含 p 和 q 的世界，其中这种情况适用于世界 s_4 和 s_6。这两个包含 $\neg p$ 是真的吗？
如果我猜测，空的世界应该包含p的否定，因为世界上根本不存在p，但在同时包含p和q的世界中，我更加分裂。如果 p 和非 p 都存在于世界中，那么对 p 的否定真的可以存在于世界中吗？