Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
dbpedia-owl:wikiPageID
  • 144806 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3771 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 20 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15471812 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Formule
  • formulí
  • formule
  • atomické formule
  • formuli
  • termů
  • Formule (logika)
  • Formule (logika)#Atomická formule
  • Formule (logika)#Term
  • Predikátová
  • Formule (logika)#Uzavřená a otevřená formule
  • uzavřená formule
  • logické formule
dcterms:subject
rdfs:comment
  • Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
rdfs:label
  • Formule (logika)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of