Logic the attribute assigned to a proposition in respect of its truth or falsehood, which in classical logic has only two possible values (true or false)