HTML Microdata document

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.

Prefix	Namespace IRI
n8	http://es.wikipedia.org/wiki/TautologÃa_(regla_de_inferencia)
category-es	http://es.dbpedia.org/resource/CategorÃa:
dct	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n2	http://es.dbpedia.org/resource/TautologÃa_(regla_de_inferencia)
n13	http://es.wikipedia.org/wiki/TautologÃa_(regla_de_inferencia)?oldid=130013521&ns=
rdfs	http://www.w3.org/2000/01/rdf-schema#
n11	http://dbpedia.org/resource/Tautology_(rule_of_inference)
n4	http://rdf.freebase.com/ns/m.
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#

Subject Item: n2:
rdfs:label: Tautología (regla de inferencia)
rdfs:comment: En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas. La tautología se materializa en dos principios: El principio de idempotencia de la disyunción y el principio de idempotencia de la conjunción donde "" es un metalógico que representa "puede ser reemplazado en una demostración lógica por".
owl:sameAs: n4:0j444z4
dct:subject: category-es:Teoremas_de_la_lÃ³gica_proposicional category-es:Reglas_de_inferencia
foaf:isPrimaryTopicOf: n8:
dbo:wikiPageID: 6543081
dbo:wikiPageRevisionID: 130013521
dbo:wikiPageLength: 3318
prov:wasDerivedFrom: n13:0
dbo:abstract: En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas. La tautología se materializa en dos principios: El principio de idempotencia de la disyunción y el principio de idempotencia de la conjunción donde "" es un metalógico que representa "puede ser reemplazado en una demostración lógica por".