This equated attribute allows for comparison and pragmatic manipulation by means of logical reasoning uniquely incorporated into the human communication chain.
assuming B is not true, then A is also not true (Modus Tollens or Modus Tollendo Tollens: the mood that by denying denies).