We interpret elements X of Pow(S) as “logical worlds”, in which the sentences in X are true and the sentences in (Pow(S) \ X) are false.
Shouldn’t this be (S \ X) instead of (Pow(S) \ X)?
Fixed, thank you!
Shouldn’t this be (S \ X) instead of (Pow(S) \ X)?
Fixed, thank you!