Sequent (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (es) In mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus. (en) シークエント（英: Sequent）あるいは推件式（すいけんしき）とは、演繹による証明過程を示すためによく使われる形式表現である。 (ja) Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le prime formalizzazioni di sequenti e di calcolo dei sequenti sono dovute al lavoro del logico Gerhard Gentzen, in particolare alle sue scoperte dei primi anni Trenta. Si dice che lista di asserzioni Ci Δ segue da una lista di asserzioni Di Γ (o equivalentemente che Γ comporta Δ) e si scrive quando Nella visione della logica classica (LK) Δ è una lista di m asserzioni (o proposizioni), mentre in logica intuizionista (LJ) in Δ trova posto una sola proposizione. Questo è un fatto di notevole importanza perché condiziona tutta la struttura di regole inferenziali sui due sistemi. (it) 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. (pt) 在证明论中，相继式（sequent）是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。 (zh) |
| dbo:wikiPageExternalLink | http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508 http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605 |
| dbo:wikiPageID | 252355 (xsd:integer) |
| dbo:wikiPageLength | 21318 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1121454719 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:David_Hilbert dbr:Deductive_reasoning dbr:Antecedent_(logic) dbr:Paul_Bernays dbr:Permutation dbr:Dag_Prawitz dbr:Interpretation_(logic) dbr:Intuitionistic_logic dbr:Consequent dbc:Proof_theory dbr:Mathematical_logic dbr:Gerhard_Gentzen dbr:Glivenko's_translation dbr:Multiset dbr:Contradiction dbr:Coplanarity dbr:Logical_conjunction dbr:John_Lemmon dbr:Logical_assertion dbr:Propositional_logic dbr:Dual-intuitionistic_logic dbr:System_L dbr:Paraconsistent_logic dbr:Alonzo_Church dbr:False_(logic) dbr:Judgment_(mathematical_logic) dbr:Logical_disjunction dbr:Natural_deduction dbr:Well-formed_formula dbr:Proof_theory dbr:Haskell_Curry dbc:Logical_expressions dbr:Tautology_(logic) dbr:Syntax dbr:Tee_(symbol) dbr:Sequence dbr:Set_(mathematics) dbr:Proof_calculus dbr:Sequent_calculus dbr:Rule_of_inference dbr:Semantics dbr:Turnstile_(symbol) dbr:Formalism_(mathematics) dbr:Substructural_logic |
| dbp:date | June 2014 (en) |
| dbp:id | p/s084590 (en) |
| dbp:talk | Assertion symbols in sequents do not signify provability. (en) |
| dbp:title | Sequent (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:Cite_book dbt:Cite_journal dbt:Harvtxt dbt:Other_uses dbt:Refimprove_section dbt:Reflist dbt:Short_description dbt:Harvnb |
| dct:subject | dbc:Proof_theory dbc:Logical_expressions |
| rdf:type | yago:WikicatLogicalExpressions yago:Abstraction100002137 yago:Appearance104673965 yago:Attribute100024264 yago:Countenance104679549 yago:Expression104679738 yago:Quality104723816 |
| rdfs:comment | 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. (es) In mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus. (en) シークエント（英: Sequent）あるいは推件式（すいけんしき）とは、演繹による証明過程を示すためによく使われる形式表現である。 (ja) 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. (pt) 在证明论中，相继式（sequent）是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。 (zh) Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le prime formalizzazioni di sequenti e di calcolo dei sequenti sono dovute al lavoro del logico Gerhard Gentzen, in particolare alle sue scoperte dei primi anni Trenta. Si dice che lista di asserzioni Ci Δ segue da una lista di asserzioni Di Γ (o equivalentemente che Γ comporta Δ) e si scrive quando (it) |
| rdfs:label | Consecuente (es) Sequente (it) シークエント (ja) Sequent (en) Sequente (pt) Секвенция (теория доказательств) (ru) 相继式 (zh) |
| owl:sameAs | freebase:Sequent yago-res:Sequent wikidata:Sequent dbpedia-es:Sequent dbpedia-it:Sequent dbpedia-ja:Sequent dbpedia-pt:Sequent dbpedia-ru:Sequent dbpedia-zh:Sequent https://global.dbpedia.org/id/4zw7s |
| prov:wasDerivedFrom | wikipedia-en:Sequent?oldid=1121454719&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Sequent |
| is dbo:wikiPageDisambiguates of | dbr:Sequent_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Sequents dbr:Sequent_(in_logic) |
| is dbo:wikiPageWikiLink of | dbr:List_of_functional_programming_topics dbr:Monotonicity_of_entailment dbr:Regular_category dbr:Cut-elimination_theorem dbr:De_Morgan's_laws dbr:Decidability_(logic) dbr:Destructive_dilemma dbr:Double_negation dbr:Index_of_logic_articles dbr:List_of_mathematical_logic_topics dbr:Structural_proof_theory dbr:Noncommutative_logic dbr:Susanne_Bobzien dbr:Structural_rule dbr:Conjunction_elimination dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Commutativity_of_conjunction dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Claim dbr:Logical_quality dbr:System_L dbr:AVATAR_(MUD) dbr:Curry–Howard_correspondence dbr:Natural_deduction dbr:Relevance_logic dbr:Hypersequent dbr:Hypothetical_syllogism dbr:Absorption_(logic) dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Tautology_(rule_of_inference) dbr:Transposition_(logic) dbr:Modus_ponens dbr:Boolean_algebra dbr:Cirquent_calculus dbr:Sequents dbr:Sequent_calculus dbr:Modus_tollens dbr:Rule_of_inference dbr:Sequent_(disambiguation) dbr:Turnstile_(symbol) dbr:Exportation_(logic) dbr:Revision_theory dbr:Outline_of_logic dbr:Sequent_(in_logic) |
| is foaf:primaryTopic of | wikipedia-en:Sequent |