En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se halla sobre todo en la teoría de la demostración perteneciente al campo de la lógica clásica, como en la forma normal conjuntiva y en el método de resolución. Se pueden considerar dos tipos de literales: Positivo: un átomo (entendiéndose por tal una fórmula atómica). Negativo: la negación de un átomo.

rdfs:comment
  • En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se halla sobre todo en la teoría de la demostración perteneciente al campo de la lógica clásica, como en la forma normal conjuntiva y en el método de resolución. Se pueden considerar dos tipos de literales: Positivo: un átomo (entendiéndose por tal una fórmula atómica). Negativo: la negación de un átomo. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Literal (lógica matemática) (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 3207501 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 5641 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 38 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 77837090 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [32 values]
Is dbpedia-owl:wikiPageWikiLink of