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