This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n12http://es.wikipedia.org/wiki/Eliminación_del_bicondicional?oldid=118075985&ns=
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Eliminación_del_bicondicional
rdfs:label
Eliminación del bicondicional
rdfs:comment
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
owl:sameAs
n4:01csg
dct:subject
category-es:Reglas_de_inferencia category-es:Teoremas_de_la_lógica_proposicional
foaf:isPrimaryTopicOf
wikipedia-es:Eliminación_del_bicondicional
dbo:wikiPageID
6200946
dbo:wikiPageRevisionID
118075985
dbo:wikiPageLength
2336
prov:wasDerivedFrom
n12:0
dbo:abstract
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;
Subject Item
dbr:Biconditional_elimination
owl:sameAs
dbpedia-es:Eliminación_del_bicondicional
Subject Item
wikipedia-es:Eliminación_del_bicondicional
foaf:primaryTopic
dbpedia-es:Eliminación_del_bicondicional