En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada, con es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de literales:

rdfs:comment
  • En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada, con es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de literales: (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Cláusula (lógica) (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 4240050 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 867 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 8 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 65008024 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of