In Logic, indicates that Proposition is neccessarily true. indicates that Proposition is not neccessarily true, i.e it is possibly false: .