In mathematical logic, a sequent is a very general kind of conditional assertion.
Wikidata facts
- Instance of
- formula
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · 中文
在证明论中，相继式（sequent）是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。
Abstract from DBpedia / Wikipedia · CC BY-SA