Database: Negation of binary predicates

Definition 35: Given a binary predicate \sim , we may add a forward slash across the predicate expression to get a new binary predicate (x \hspace{1mm} \cancel{\sim} \hspace{1mm} y) \hspace{3mm} \textup{defined by} \hspace{3mm} \neg (x \sim y). We refer to this as the negated (binary) predicate of \sim .

This database entry builds on the following:

  1. Terminology: Predicate
  2. Definition: Binary predicate