Semantics in classical logic
? ? ? is true in W if and only if ? and ? are both true in W
W(? ? ?) = 1 if and only if W(?) = 1 and W(?) = 1
?? is true in W if and only if ? is false in W
W(??) = 1 if and only if W(?) = 0
Previous slide
Next slide
Back to first slide
View graphic version