In Logic, indicates that the Proposition is possibly true. indicates that is not possibly true, i.e.