前提:For legal input
Partial Correctness:
if algorithm terminates, then result output (也许有 output,且output必须都是true output)
Terminate:
algorithms halts when run any legal input (没有 output,或者output是wrong output)
Total Correctness:
indeed algorithm terminates, result output (一定有 output,且output必须都是true output)