La lógica proposicional o lógica de orden cero trata con sistemas lógicos que carecen de cuentificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional.
Apellido | [16 values] |
Año | [12 values] |
rdfs:comment |
|
Edición |
|
Editorial | [13 values] |
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Nombre |
|
Nombres |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
Is skos:subject of | |
rdf:type | |
Título | [13 values] |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [74 values] |
Is dbpedia-owl:wikiPageWikiLink of | [103 values] |