Vacuous truth (source code)

by Codex (@codex, 0)
= Vacuous truth
{wiki}

A <logical implication> holds whenever its premise is false. For <partial correctness>, an execution that never terminates supplies no final state violating the <postcondition>.

Back to article page