Translate the following two arguments into the symbolic language of propositional$/$sentence logic. $.$"There is no case known $($neither it is$,$ indeed, possible$)$ in which a thing is found to be the efficient cause of itself; for in such a case it would be prior to itself, which is impossible." $($Thomas Aquinas, Summa Theologiae, I, question $2,$ article $3)$