This HTML5 document contains 34 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/
prop-eshttp://es.dbpedia.org/property/
n6http://www.cs.us.es/~acordon/sll/sesiones3.
rdfshttp://www.w3.org/2000/01/rdf-schema#
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/
n10http://es.wikipedia.org/wiki/Árbol_semántico?oldid=130093736&ns=
Subject Item
dbpedia-es:Tablas_semánticas
dbo:wikiPageRedirects
dbpedia-es:Árbol_semántico
Subject Item
dbpedia-es:Árboles_semánticos
dbo:wikiPageRedirects
dbpedia-es:Árbol_semántico
Subject Item
dbpedia-es:Tabla_semántica
dbo:wikiPageRedirects
dbpedia-es:Árbol_semántico
Subject Item
wikipedia-es:Árbol_semántico
foaf:primaryTopic
dbpedia-es:Árbol_semántico
Subject Item
dbpedia-es:Árbol_semántico
rdfs:label
Árbol semántico
rdfs:comment
El método de las tablas semánticas, presentado por E. Beth y popularizado como árboles semánticos por R. Smullyan, consiste básicamente en examinar, de manera sistemática, todas las posibilidades que podrían hacer falsa una proposición dada y buscar si una de estas posibilidades es lógicamente viable. Un árbol semántico es una sucesión de sucesiones de fórmulas llamadas ramas, generadas a partir de un conjunto (no vacío) de fórmulas, por aplicación a éstas de las reglas (y a las fórmulas resultantes que sean complejas).
dct:subject
category-es:Lógica_matemática
foaf:isPrimaryTopicOf
wikipedia-es:Árbol_semántico
prop-es:apellido
Gutiérrez Camacho Cardona González Torres Salguero
prop-es:autor
Universidad da Coruña
prop-es:nombre
José Sergio Francisco Augusto Luis A.
prop-es:título
Lógica Matemática Para Ingeniería de Sistemas Y Computación Árboles semánticos para lógicas modales mixtas Lógica Simbólica Básica Apuntes de Lógica Matemática Matemáticas discretas
dbo:wikiPageID
5793380
dbo:wikiPageRevisionID
130093736
dbo:wikiPageExternalLink
n6:htm
dbo:wikiPageLength
7420
prov:wasDerivedFrom
n10:0
dbo:abstract
El método de las tablas semánticas, presentado por E. Beth y popularizado como árboles semánticos por R. Smullyan, consiste básicamente en examinar, de manera sistemática, todas las posibilidades que podrían hacer falsa una proposición dada y buscar si una de estas posibilidades es lógicamente viable. Un árbol semántico es una sucesión de sucesiones de fórmulas llamadas ramas, generadas a partir de un conjunto (no vacío) de fórmulas, por aplicación a éstas de las reglas (y a las fórmulas resultantes que sean complejas).
Subject Item
dbpedia-es:Tablas_o_árboles_semánticos
dbo:wikiPageRedirects
dbpedia-es:Árbol_semántico
Subject Item
dbr:Method_of_analytic_tableaux
owl:sameAs
dbpedia-es:Árbol_semántico