# Definition talk:Language of Propositional Logic/Formal Grammar/WFF

Does there need to be such a term for PropLog specifically? Not if you ask me. But in writing this, I've come to realise the importance of this in the application of formal logic anywhere -- most importantly, $\mathsf{Pr} \infty \mathsf{fWiki}$-wise, in mathematics. — Lord_Farin (talk) 17:47, 3 December 2013 (UTC)
IMO there *is* room on $\mathsf{Pr} \infty \mathsf{fWiki}$ for this end of logic, but I'm not in a position to document it in detail as I don't have books on logic which are quite that old-fashioned. :-) --prime mover (talk) 03:57, 4 December 2013 (UTC)