propositional function (Q3606768)
Language: