Секвенция
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
In mathematical logic, a sequent is a very general kind of conditional assertion.
via Wikidata · CC0