in logic, property of a statement whose truth allows one to conclude the truth of another given statement