演绎法证明：从 p→Q, RAS, -Q→PAS 推导出 PAS 为真

假设 p 为真，则根据 p→Q，Q 为真。又由于 RAS，所以 R 为真且 AS 为真。

假设 -Q 为真，则根据 -Q→PAS，PAS 为真。由于 AS 为真，所以 P 为真。

综上所述，无论 p 为真还是 -Q 为真，都可以推出 PAS 为真。因此，根据演绎法，可以得出结论：p→Q, RAS，-Q→PAS 可以推出 PAS 为真。