| dbo:abstract
|
- Biconditional elimination is the name of two valid rules of inference of propositional logic. It allows for one to infer a conditional from a biconditional. If is true, then one may infer that is true, and also that is true. For example, if it's true that I'm breathing if and only if I'm alive, then it's true that if I'm breathing, I'm alive; likewise, it's true that if I'm alive, I'm breathing. The rules can be stated formally as: and where the rule is that wherever an instance of "" appears on a line of a proof, either "" or "" can be placed on a subsequent line; (en)
- La eliminación del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional. Esto nos permite inferir un condicional de un bicondicional. Si es verdadero, entonces es verdadero y también lo será. Por ejemplo, si bien es cierto que estoy respirando si y sólo si estoy vivo, entonces es verdad que si estoy respirando, estoy vivo; Asimismo, es verdad que si estoy vivo, estoy respirando. Las reglas pueden ser establecidas formalmente como sigue: y donde la regla es que cada vez que una instancia "" aparezca en una línea de prueba, tanto "" como "" puede colocarse en la línea siguiente; (es)
- 논리학에서, 쌍조건문 소거(雙條件文消去, 영어: biconditional elimination)는 두 명제의 로부터 두 명제의 서로 를 유도하는 추론 규칙이다. (ko)
- Eliminação bicondicional são duas regras de inferência validas da lógica proposicional. Ela permite inferir um de um . Se é verdadeiro, logo é verdadeiro, e também será. Por exemplo, se é verdade que eu estou respirando se e somente se estou vivo, então é verdade que se estou respirando, estou vivo; Igualmente, é verdade que se estou vivo, estou respirando. As regras podem ser estabelecidas formalmente como mostrado a seguir: e Onde a regra é que sempre que uma instância de "" aparecer em uma linha da prova, ambos "" ou "" podem ser colocados na linha subsequente; (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2895 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:field
| |
| dbp:name
|
- Biconditional elimination (en)
|
| dbp:statement
|
- If is true, then one may infer that is true, and also that is true. (en)
|
| dbp:symbolicStatement
| |
| dbp:type
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Biconditional elimination is the name of two valid rules of inference of propositional logic. It allows for one to infer a conditional from a biconditional. If is true, then one may infer that is true, and also that is true. For example, if it's true that I'm breathing if and only if I'm alive, then it's true that if I'm breathing, I'm alive; likewise, it's true that if I'm alive, I'm breathing. The rules can be stated formally as: and where the rule is that wherever an instance of "" appears on a line of a proof, either "" or "" can be placed on a subsequent line; (en)
- 논리학에서, 쌍조건문 소거(雙條件文消去, 영어: biconditional elimination)는 두 명제의 로부터 두 명제의 서로 를 유도하는 추론 규칙이다. (ko)
- Eliminação bicondicional são duas regras de inferência validas da lógica proposicional. Ela permite inferir um de um . Se é verdadeiro, logo é verdadeiro, e também será. Por exemplo, se é verdade que eu estou respirando se e somente se estou vivo, então é verdade que se estou respirando, estou vivo; Igualmente, é verdade que se estou vivo, estou respirando. As regras podem ser estabelecidas formalmente como mostrado a seguir: e Onde a regra é que sempre que uma instância de "" aparecer em uma linha da prova, ambos "" ou "" podem ser colocados na linha subsequente; (pt)
- La eliminación del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional. Esto nos permite inferir un condicional de un bicondicional. Si es verdadero, entonces es verdadero y también lo será. Por ejemplo, si bien es cierto que estoy respirando si y sólo si estoy vivo, entonces es verdad que si estoy respirando, estoy vivo; Asimismo, es verdad que si estoy vivo, estoy respirando. Las reglas pueden ser establecidas formalmente como sigue: y (es)
|
| rdfs:label
|
- Biconditional elimination (en)
- Eliminación del bicondicional (es)
- 쌍조건문 소거 (ko)
- Eliminação bicondicional (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |