シークエント
Sign in to saveIn 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