propositional function (Q3606768)
Expression in propositional calculus
Language: