前提：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)
