Functional Calculus
nounverified·updated May 18, 2026
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Framework senses
- §1
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)