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:
Lógica proposicional
An Entity of Type :
Concept
, from Named Graph :
http://es.dbpedia.org
, within Data Space :
es.dbpedia.org
Property
Value
dbo:
wikiPageID
2973283
(xsd:integer)
dbo:
wikiPageRevisionID
84027110
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Lógica proposicional
(es)
Lógica proposicional
(es)
skos:
broader
category-es
:Proposiciones
category-es
:Lógica_matemática
category-es
:Sistemas_lógicos
skos:
prefLabel
Lógica proposicional
(es)
Lógica proposicional
(es)
prov:
wasDerivedFrom
wikipedia-es
:Categoría:Lógica_proposicional?oldid=84027110&ns=14
is
dct:
subject
of
dbpedia-es
:Modus_ponendo_tollens
dbpedia-es
:Función_proposicional
dbpedia-es
:Gráficos_existenciales
dbpedia-es
:Completitud_funcional
dbpedia-es
:Modus_tollendo_ponens
dbpedia-es
:Reglas_de_inferencia
dbpedia-es
:Álgebra_de_las_palabras
dbpedia-es
:Cálculo_proposicional_de_Frege
dbpedia-es
:Lenguaje_proposicional
dbpedia-es
:Lógica_proposicional
dbpedia-es
:Cláusula_(lógica)
dbpedia-es
:Demostración_por_contraposición
dbpedia-es
:Literal_(lógica_matemática)
dbpedia-es
:Modus_ponendo_ponens
dbpedia-es
:Modus_tollendo_tollens
dbpedia-es
:Proposición
dbpedia-es
:Tautología
dbpedia-es
:Negación_lógica
dbpedia-es
:Tabla_de_verdad
dbpedia-es
:Variable_proposicional
dbpedia-es
:Prueba_condicional
dbpedia-es
:Introducción_de_la_negación
dbpedia-es
:Conectiva_lógica
dbpedia-es
:Satisfacibilidad
dbpedia-es
:Fórmula_proposicional
dbpedia-es
:Reglas_de_reemplazo
is
skos:
broader
of
category-es
:Algoritmos_SAT
category-es
:Conectivas_lógicas
category-es
:Lógica_de_predicados
category-es
:Reglas_de_inferencia
category-es
:Teoremas_de_la_lógica_proposicional
category-es
:Álgebra_de_Boole
category-es
:Formas_normales