Universal instantiation (Q784645)
Jump to navigation
Jump to search
Rule of inference in predicate logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Universal instantiation |
Rule of inference in predicate logic |
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- enwiki Universal instantiation
- eswiki Instanciación universal
- frwiki Instanciation universelle
- jawiki 普遍例化
- nlwiki Universele instantiatie
- ptwiki Instanciação universal
- srwiki Универзална инстанцијација
- zhwiki 全称实例化