Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
Reglas de inferencia
An Entity of Type :
Concept
, from Named Graph :
http://es.dbpedia.org
, within Data Space :
es.dbpedia.org
Property
Value
dbo:
wikiPageID
2973539
(xsd:integer)
dbo:
wikiPageRevisionID
84049191
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Reglas de inferencia
(es)
Reglas de inferencia
(es)
skos:
broader
category-es
:Lógica
category-es
:Lógica_proposicional
category-es
:Teoría_de_la_demostración
skos:
prefLabel
Reglas de inferencia
(es)
Reglas de inferencia
(es)
prov:
wasDerivedFrom
wikipedia-es
:Categoría:Reglas_de_inferencia?oldid=84049191&ns=14
is
dct:
subject
of
dbpedia-es
:Contrarrecíproco
dbpedia-es
:Eliminación_del_bicondicional
dbpedia-es
:Modus_ponendo_tollens
dbpedia-es
:Instanciación_universal
dbpedia-es
:Implicación_material
dbpedia-es
:Dilema_constructivo
dbpedia-es
:Doble_negación_(lógica)
dbpedia-es
:Introducción_de_la_conjunción
dbpedia-es
:Simplificación
dbpedia-es
:Asociatividad_(álgebra)
dbpedia-es
:Modus_tollendo_ponens
dbpedia-es
:Reglas_de_inferencia
dbpedia-es
:Instanciación_existencial
dbpedia-es
:Introducción_del_bicondicional
dbpedia-es
:Absorción_(lógica)
dbpedia-es
:Dilema_destructivo
dbpedia-es
:Exportación_(lógica)
dbpedia-es
:Introducción_de_la_disyunción
dbpedia-es
:Modus_ponendo_ponens
dbpedia-es
:Modus_tollendo_tollens
dbpedia-es
:Tautología_(regla_de_inferencia)
dbpedia-es
:Transposición_(lógica)
dbpedia-es
:Leyes_de_De_Morgan
dbpedia-es
:Generalización_existencial
dbpedia-es
:Conmutatividad
dbpedia-es
:Introducción_de_la_negación
dbpedia-es
:Eliminación_de_la_disyunción
dbpedia-es
:Generalización_universal
dbpedia-es
:Inferencia_inmediata
dbpedia-es
:Silogismo_hipotético
dbpedia-es
:Reglas_de_reemplazo
is
skos:
related
of
category-es
:Argumentos