P11417
Indicates that the truth value of a statement is affirmed (positive) or denied (negative) relative to some logical context.