Ví dụ công khai

A world, then, is a state of affairs W of this sort: For every state of affairs p, either W logically implies p or W logically implies the negation of p, and there is no state of affairs q such that W logically implies both q and the negation of q.