bn:00036829n
Noun Concept
Categories: Mathematical analysis stubs, Predicate logic, Systems of formal logic, Model theory, Functional calculus
EN
functional calculus  predicate calculus  First-order logic  predicate logic  First Order Language
EN
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) WordNet 3.0
Definitions
Relations
Sources
EN
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) WordNet 3.0 & WordNet 2020
In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. Wikipedia
A way to apply various types of functions to operators Wikipedia Disambiguation
Collection of formal systems used in mathematics, philosophy, linguistics, and computer science Wikidata
Subfield of logic Wikidata
A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. Wiktionary
Formal deductive system expanded from propositional logic. Wiktionary (translation)
The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. Wiktionary
Generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic. Wiktionary (translation)