This HTML5 document contains 12 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#
n12http://es.wikipedia.org/wiki/Monotonicidad_de_la_implicación?oldid=121640296&ns=
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
dbr:Monotonicity_of_entailment
owl:sameAs
dbpedia-es:Monotonicidad_de_la_implicación
Subject Item
wikipedia-es:Monotonicidad_de_la_implicación
foaf:primaryTopic
dbpedia-es:Monotonicidad_de_la_implicación
Subject Item
dbpedia-es:Monotonicidad_de_la_implicación
rdfs:label
Monotonicidad de la implicación
rdfs:comment
La monotonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales. En el esta propiedad puede ser captada por una regla de inferencia llamada debilitamiento, a veces adelgazamiento, y en tales sistemas se puede decir que la implicación es monótona, sí y solamente sí, la regla fuera admisible. Los sistemas lógicos con esta propiedad son ocasionalmente llamados lógicas monotónicas con el fin de diferenciarlos de lógicas no monótonas.
dct:subject
category-es:Consecuencia_lógica category-es:Teoremas_de_la_lógica_proposicional
foaf:isPrimaryTopicOf
wikipedia-es:Monotonicidad_de_la_implicación
dbo:wikiPageID
6979643
dbo:wikiPageRevisionID
121640296
dbo:wikiPageLength
2185
prov:wasDerivedFrom
n12:0
dbo:abstract
La monotonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales. En el esta propiedad puede ser captada por una regla de inferencia llamada debilitamiento, a veces adelgazamiento, y en tales sistemas se puede decir que la implicación es monótona, sí y solamente sí, la regla fuera admisible. Los sistemas lógicos con esta propiedad son ocasionalmente llamados lógicas monotónicas con el fin de diferenciarlos de lógicas no monótonas.