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
  • 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. (es)
Edición
  • 2 (xsd:integer)
  • 4 (xsd:integer)
Editorial [13 values]
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica proposicional (es)
Nombre
  • C. (es)
  • D. (es)
  • E. (es)
  • I. (es)
  • J. (es)
  • R. (es)
  • Y. (es)
Nombres
  • A. G. (es)
  • D. W. (es)
  • E. (es)
  • H. B. (es)
  • J. D. (es)
  • J. M. (es)
  • P. H. (es)
Is foaf:primaryTopic of
dcterms:subject
Is skos:subject of
rdf:type
Título [13 values]
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 258939 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 37328 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 95 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 77184952 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [74 values]
Is dbpedia-owl:wikiPageWikiLink of [103 values]