 So, for example, \(Pa\), \(Rxy\), etc., are atomic formulas and these assert, respectively, that object \(a\) exemplifies the 1-place relation \(P\) and that \(x\) and \(y\) stand in the relation \(R\). The formulas \(\neg Pa\) and \(Pa \to Rxy\) are molecular formulas, and these assert, respectively, that it is not the case that \(a\) exemplifies \(P\), and that if \(a\) exemplifies \(P\) then \(x\) and \(y\) stand in the relation \(R\). Finally, here are some examples of quantified formulas: