Sequente
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 · Português
Na teoria da prova, um sequente é uma declaração formalizada de verificação que é frequentemente usada quando se está especificando para o método dedutivo. No Cálculo de sequentes, o nome sequente é usado para representar uma estrutura que pode ser considerada como um tipo específico de julgamento, característico do cálculo de sequentes.
Abstract from DBpedia / Wikipedia · CC BY-SA