predicate abstraction (Q7239630)
Jump to navigation
Jump to search
in logic, the result of creating a predicate from a formula
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | predicate abstraction |
in logic, the result of creating a predicate from a formula |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(1 entry)
- enwiki Predicate abstraction