sequent (Q843632)
Jump to navigation
Jump to search
conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true
Language | Label | Description | Also known as |
---|---|---|---|
English | sequent |
conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(7 entries)
- enwiki Sequent
- eswiki Consecuente
- itwiki Sequente
- jawiki シークエント
- ptwiki Sequente
- ruwiki Секвенция (теория доказательств)
- zhwiki 相继式