How would you define propositional-functions? Add your definition here.

comments powered by Disqus