The evaluation term in deductive logic for an argument that is valid and whose premises are true.