Suppose we are given a sentence (i.e. it has no free variables) of the form: $\forall x$ $(P(x) \rightarrow Q(x))$
and asked to determine whether it is a tautology, satisfiable or unsatisfiable.
My questions are:
1) Is the sentence, saying that "for all $x$, $(P(x) \rightarrow Q(x))$ is always true? To prove that it is not a tautology, would it then be sufficient to state something like "an interpretation that satisfies $P(x)$ would falsify $(P(x) \rightarrow Q(x))$. Hence, the sentence is not a tautology." ?
2) Does proving that the sentence is a tautology mean the same thing as proving that the sentence is valid? Would this then mean proving that the sentence is true under all interpretations?
The following is how the terms valid, satisfiability and unsatisfiability are defined.
Let $F$ be a formula of the first order language $L$. $F$ is
1) $valid$ if and only if it is satisfied by every interpretation of $L$.
2) $satisfiable$ if an only if it is satisfied by some interpretation of $L$
3) $unsatisfiable$ if and only if it is not satisfied by any interpretation of $L$
First you need to check the terminology being used. Some take "tautology" narrowly, to mean -- in effect -- logically valid by the truth-table test (i.e. logically valid solely in virtue of the way the truth-functional connectives appear in the wff). Some perhaps regrettably employ "tautology" more widely, so that a first-order valid wff counts as a tautology as well.
If you are using tautology in the narrow sense, then quite trivially $\forall x(P(x) \rightarrow Q(x))$ is not a tautology in that sense, as its main logical operator is not a truth-function.
It isn't a tautology in the wider sense either, i.e. it is not a first-order valid wff: to show that you need to think off an interpretation that makes it false. So pick a domain. And now interpret $P$ and $Q$ such that there are objects in the domain which satisfy $P$ but not $Q$.