This HTML5 document contains 14 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/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://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#
n10http://es.wikipedia.org/wiki/Simplificación?oldid=130201099&ns=
dbrhttp://dbpedia.org/resource/
Subject Item
wikipedia-es:Simplificación
foaf:primaryTopic
dbpedia-es:Simplificación
Subject Item
dbpedia-es:Simplificación
rdfs:label
Simplificación
rdfs:comment
En lógica proposicional, la simplificación​​​ (equivale a la sustitución de una conjunción por uno de sus componentes ) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. o como
owl:sameAs
n13:03c9qd
dct:subject
category-es:Reglas_de_inferencia category-es:Teoremas_de_la_lógica_proposicional
foaf:isPrimaryTopicOf
wikipedia-es:Simplificación
dbo:wikiPageID
6201472
dbo:wikiPageRevisionID
130201099
dbo:wikiPageLength
2134
prov:wasDerivedFrom
n10:0
dbo:abstract
En lógica proposicional, la simplificación​​​ (equivale a la sustitución de una conjunción por uno de sus componentes ) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. La regla se puede expresar el lenguaje formal como: o como donde la regla es que cada vez que aparecen las instancias de "" en las líneas de se puede colocar en una prueba, "" o "" en una línea posterior.
Subject Item
dbr:Conjunction_elimination
owl:sameAs
dbpedia-es:Simplificación
Subject Item
dbpedia-es:Simplificada
dbo:wikiPageRedirects
dbpedia-es:Simplificación