propositional function

Kategorien: