Biconditional introduction (original) (raw)
En matematika logiko, dukondiĉa enkonduko estas la ke, se B sekvas de A, kaj A sekvas de B, tiam A se kaj nur se B. Ekzemple, el la propozicioj "se hundo spiras, do ĝi vivas" kaj "se hundo vivas, do ĝi spiras", povas esti konkludite ke "hundo spiras se kaj nur se ĝi vivas". Formale, dukondiĉa enkonduko estas la regula skemo
| Property | Value |
|---|---|
| dbo:abstract | En matematika logiko, dukondiĉa enkonduko estas la ke, se B sekvas de A, kaj A sekvas de B, tiam A se kaj nur se B. Ekzemple, el la propozicioj "se hundo spiras, do ĝi vivas" kaj "se hundo vivas, do ĝi spiras", povas esti konkludite ke "hundo spiras se kaj nur se ĝi vivas". Formale, dukondiĉa enkonduko estas la regula skemo (eo) In propositional logic, biconditional introduction is a valid rule of inference. It allows for one to infer a biconditional from two conditional statements. The rule makes it possible to introduce a biconditional statement into a logical proof. If is true, and if is true, then one may infer that is true. For example, from the statements "if I'm breathing, then I'm alive" and "if I'm alive, then I'm breathing", it can be inferred that "I'm breathing if and only if I'm alive". Biconditional introduction is the converse of biconditional elimination. The rule can be stated formally as: where the rule is that wherever instances of "" and "" appear on lines of a proof, "" can validly be placed on a subsequent line. (en) La introducción del bicondicional es una regla de inferencia válida en lógica proposicional. Permite inferir un bicondicional a partir de dos sentencias condicionales. En otras palabras, esta regla permite introducir un enunciado bicondicional en una prueba lógica. Si es verdad, y si es verdad, entonces se puede inferir que es verdad. La introducción del bicondicional es la conversión de la eliminación del bicondicional. Por ejemplo, de las declaraciones "si estoy respirando, entonces yo estoy vivo" y "si estoy vivo, entonces estoy respirando", se puede inferir que "estoy respirando si y sólo si estoy vivo". La introducción del bicondicional puede escribirse formalmente como: donde la regla es que siempre que las instancias de "" y "" aparecen en las líneas de una prueba, "" puede ser colocado válidamente en una línea posterior. (es) 논리학에서, 쌍조건문 도입(雙條件文導入, 영어: biconditional introduction)은 두 명제가 서로 한다는 것으로부터 두 명제의 를 유도하는 추론 규칙이다. (ko) Em lógica proposicional, introdução bicondicional é uma regra de inferência válida. Ele permite uma de duas . A regra torna possível introduzir uma declaração bicondicional em uma . Se é verdade, e se é verdade, então pode-se inferir que é verdade. Por exemplo, da declaração "se eu estou respirando, então eu estou vivo" e "se eu estou vivo, então eu estou respirando", pode-se inferir que "eu estou respirando se e somente se eu estiver vivo". Introdução bicondicional é o de eliminação bicondicional. A regra pode ser indicada formalmente como: onde a regra é que sempre que as instâncias de "" e "" aparecer nas linhas de prova, "" pode substituí-la na linha seguinte. (pt) |
| dbo:wikiPageID | 4286 (xsd:integer) |
| dbo:wikiPageLength | 2456 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1109436809 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Propositional_calculus dbr:Metalogic dbr:Validity_(logic) dbr:Inference dbr:Material_conditional dbr:Converse_(logic) dbr:Theorem dbr:Logical_biconditional dbr:Formal_proof dbr:Formal_system dbr:Logical_consequence dbr:Tautology_(logic) dbc:Rules_of_inference dbc:Theorems_in_propositional_logic dbr:Biconditional_elimination dbr:If_and_only_if dbr:Rule_of_inference dbr:Sequent |
| dbp:field | dbr:Propositional_calculus |
| dbp:name | Biconditional elimination (en) |
| dbp:statement | If is true, and if is true, then one may infer that is true. (en) |
| dbp:type | dbr:Rule_of_inference |
| dbp:wikiPageUsesTemplate | dbt:Infobox_mathematical_statement dbt:Reflist dbt:Short_description dbt:Transformation_rules |
| dct:subject | dbc:Rules_of_inference dbc:Theorems_in_propositional_logic |
| rdf:type | yago:WikicatTheoremsInPropositionalLogic yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:Message106598915 yago:Proposition106750804 yago:PsychologicalFeature100023100 yago:Rule105846054 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment | En matematika logiko, dukondiĉa enkonduko estas la ke, se B sekvas de A, kaj A sekvas de B, tiam A se kaj nur se B. Ekzemple, el la propozicioj "se hundo spiras, do ĝi vivas" kaj "se hundo vivas, do ĝi spiras", povas esti konkludite ke "hundo spiras se kaj nur se ĝi vivas". Formale, dukondiĉa enkonduko estas la regula skemo (eo) 논리학에서, 쌍조건문 도입(雙條件文導入, 영어: biconditional introduction)은 두 명제가 서로 한다는 것으로부터 두 명제의 를 유도하는 추론 규칙이다. (ko) In propositional logic, biconditional introduction is a valid rule of inference. It allows for one to infer a biconditional from two conditional statements. The rule makes it possible to introduce a biconditional statement into a logical proof. If is true, and if is true, then one may infer that is true. For example, from the statements "if I'm breathing, then I'm alive" and "if I'm alive, then I'm breathing", it can be inferred that "I'm breathing if and only if I'm alive". Biconditional introduction is the converse of biconditional elimination. The rule can be stated formally as: (en) La introducción del bicondicional es una regla de inferencia válida en lógica proposicional. Permite inferir un bicondicional a partir de dos sentencias condicionales. En otras palabras, esta regla permite introducir un enunciado bicondicional en una prueba lógica. Si es verdad, y si es verdad, entonces se puede inferir que es verdad. La introducción del bicondicional es la conversión de la eliminación del bicondicional. La introducción del bicondicional puede escribirse formalmente como: (es) Em lógica proposicional, introdução bicondicional é uma regra de inferência válida. Ele permite uma de duas . A regra torna possível introduzir uma declaração bicondicional em uma . Se é verdade, e se é verdade, então pode-se inferir que é verdade. Por exemplo, da declaração "se eu estou respirando, então eu estou vivo" e "se eu estou vivo, então eu estou respirando", pode-se inferir que "eu estou respirando se e somente se eu estiver vivo". Introdução bicondicional é o de eliminação bicondicional. A regra pode ser indicada formalmente como: (pt) |
| rdfs:label | Dukondiĉa enkonduko (eo) Biconditional introduction (en) Introducción del bicondicional (es) 쌍조건문 도입 (ko) Introdução bicondicional (pt) |
| owl:sameAs | freebase:Biconditional introduction yago-res:Biconditional introduction wikidata:Biconditional introduction dbpedia-eo:Biconditional introduction dbpedia-es:Biconditional introduction dbpedia-ko:Biconditional introduction dbpedia-pt:Biconditional introduction https://global.dbpedia.org/id/4YWeN |
| prov:wasDerivedFrom | wikipedia-en:Biconditional_introduction?oldid=1109436809&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Biconditional_introduction |
| is dbo:wikiPageWikiLink of | dbr:Propositional_calculus dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(A–C) dbr:List_of_rules_of_inference dbr:Logical_biconditional dbr:Outline_of_logic |
| is foaf:primaryTopic of | wikipedia-en:Biconditional_introduction |