| 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
| |
| dbo:wikiPageLength
|
- 2456 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:field
| |
| dbp:name
|
- Biconditional elimination (en)
|
| dbp:statement
|
- If is true, and if is true, then one may infer that is true. (en)
|
| dbp:type
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
