Yep - That's how I would see it.Yes.
What your missing is one term will be 0 because R2 is ground. When writing equations always think that ground is a potential that nodes are referenced to. If you actually write out the full equation TNK's equation is correct, but since V2 is ground then that term will be 0 and drops out leaving the classic Vx*Rb/(Rb+Ra).
What TNK is using is superposition. You short out (deactivate) V2 and determine the voltage at the Vout node: V1*R2/(R2+R1). Then you do the same with V1; deactivate V1 and calculate the voltage at Vout. This time it will be V2*R1/(R1+R2). Then you add these two equations together:
V1*R2/(R2+R1) + V2*R1/(R1+R2)
or simplifying like TNK has done:
(V1*R2 + V2*R1)/(R1+R2)
Ihaveaquestion drew a little picture which did not include ground - just three potentials V1, V2 and Vo. I was referring to that particular circuit configuration.