Category:Definitions/Predicate Logic

This category contains definitions related to the field of predicate logic.