A conclusion that is true by virtue of the logical structure of the argument.