Test if the conclusion is a logical consequence of the premises

--> Correct