I dont understand this question that comes from a past paper, so please any help is appreciated. The part that i dont understand is what does it mean (question 3) that it wants me to consider the situation when it is bright outside and wants the valuation that satisfies b and all of the formulae . I also dont 100% understand number two as im not 100% sure if i did it correctly.
Thanks in advance to anyone who tries to help
I hope everyone is having an amazing holiday.
Answer of (2):
Model 1: "John is in his office, the default light setting is activated, the lights are on, and it is not bright outside"
Model 2: "John is not in his office, the default light setting is activated, the lights are on, and it is not bright outside."
Model 3: "John is not in his office, the default light setting is not activated, the lights are on, and it is not bright outside."
Model 4: "John is not in his office, the default light setting is not activated, the lights are not on, and it is not bright outside."
The answer of (3):
The answer is "No". According to above answer to question(2), you can not find any model that satisfies $B$. And syntactically it is because, in the axioms we have "$B\rightarrow \neg L$", so if $B$ is satisfied then $L$ can not be satisfied.