witness (Q8028383)
Jump to navigation
Jump to search
in logic, value which shows that an existential statement is true
Language | Label | Description | Also known as |
---|---|---|---|
English | witness |
in logic, value which shows that an existential statement is true |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(3 entries)
- enwiki Witness (mathematics)
- mkwiki Сведок (математика)
- ptwiki Testemunha (matemática)