I think 2 because the expression of 2 can be simplified as --> **there exist**(*S*(*x*)) ∧ *~V*(*x*))

where as 1 states--> ~ (if a logic is satisfiable then it is valid)..this means if a logic is satisfiable then it is not valid..but this is not the case, it may be valid may not be valid