a conclusion is only true if and only if the argument is valid and the premisis are true