sequent
Meanings
Un conjunto disyuntivo de fórmulas lógicas que se divide en dos subconjuntos; el primer subconjunto, llamado antecedente, consta de fórmulas que se evalúan como falsas, y el segundo subconjunto, llamado sucesor, consta de fórmulas que se evalúan como verdaderas.
A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
Examples :
"The logic textbook explained how each sequent, with its antecedent of false statements leading to a succedent of true conclusions, represented a valid argument form. "
El libro de texto de lógica explicó cómo cada secuente, con su antecedente de afirmaciones falsas que conducen a un sucesor de conclusiones verdaderas, representaba una forma de argumento válida.
Examples :
Consecuente, resultante, subsiguiente
Examples :
Related Words
sequential adjective
/sɪˈkwenʃəl/ /səˈkwenʃəl/
Secuencial, consecutivo
accomplishment noun
/ə.ˈkʌm.plɪʃ.mənt/ /ə.ˈkɑm.plɪʃ.mənt/
Logro, realización
