Definition
Unsound Algorithm
An algorithm
is unsound with respect to a validity relation if it can return a conclusive but incorrect result: For a decision predicate
, unsoundness means that at least one false acceptance or false rejection is possible: Returning
does not witness unsoundness because an inconclusive algorithm makes no claim about the answer.