existential instantiation (Q2013340)
Jump to navigation
Jump to search
Rule of inference in predicate logic
- EI
Language | Label | Description | Also known as |
---|---|---|---|
default for all languages | No label defined |
||
English | existential instantiation |
Rule of inference in predicate logic |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Existential instantiation
- eswiki Instanciación existencial
- jawiki 存在例化
- nlwiki Existentiële instantiatie
- ptwiki Instanciação existencial