 i.e., \(Q\) is a function of \(P_1,\ldots\), \(P_m\). If we assume such a rule as part of our background knowledge, then an analogical argument with conclusion \(Q(T)\) is deductively valid. More precisely, and allowing for the case where \(Q\) is not a binary variable: if we have such a rule, and also premises stating that the source \(S\) agrees with the target \(T\) on all of the values \(P_i\), then we may validly infer that \(Q(T) = Q(S)\).