Consecuente
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 · Español
En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes.
Abstract from DBpedia / Wikipedia · CC BY-SA