assignment 3 question 5

[sao]

it says "...for every proposition a, E|=a or E|=(not a)" does this
include the case where E logically implies both? or does it mean that it
logically implies only one of them?
thanks!

[CS 245 Tutor]

In general "or" does not necessarily mean "exclusive or". However, in this
case, you may be able to show that the "or" needs to be exclusive.

I hope this helps - please let me know if you have any other questions.

- Rita

it says "...for every proposition a, E|=a or E|=(not a)" does this include
the case where E logically implies both? or does it mean that it logically
implies only one of them?
thanks!