Text this: α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X)