Definition:Truth Preserving Argument