Definition:Abstraction (Mathematical Logic)

From ProofWiki
Jump to navigation Jump to search

Definition

An abstraction is an operator that forms a class name or predicate from a given expression.


Also see


Sources