- predicate calculus
- predicate calculus
===== A formalization of classical logic which uses clauses of functions and predicates to describe relations between individual entities or symbols.
Selecteer hieronder het begrip in de taal waarin u verder wil zoeken. Vervolgens verschijnen de beschikbare zoekvragen voor die taal.
Heeft u opmerkingen/suggesties omtrent dit begrip? Klik hier om deze door te geven.