V matematické logice je výroková proměnná taková proměnná, která může nabývat hodnot pravda anebo nepravda. Výrokové proměnné jsou základní stavební bloky výrokových formulí z výrokové logiky.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • V matematické logice je výroková proměnná taková proměnná, která může nabývat hodnot pravda anebo nepravda. Výrokové proměnné jsou základní stavební bloky výrokových formulí z výrokové logiky. Lze je používat i v predikátové logice a logikách vyšších řádů.Formule se ve výrokové logice vytvářejí rekurzivně z výrokových proměnných, logických konstant pravda a nepravda a logických spojek (Logické kvantifikátory se používají až v predikátové logice.) Výrokové proměnné jsou atomické formule výrokové logiky. Ve výrokové logice lze definovat formule takto: Každá výroková proměnná je formule. Pro libovolnou formuli X její negace ¬X je proměnná. Pro libovolné dvě formule X a Y a (binární) logickou spojku op (jako například logickou konjunkci ∧) je X op Y výrokovou formuli. Formule vzniká konečným počtem použití předchozích tří pravidel.Tímto způsobem formule výrokové logiky používají výrokové proměnné jako své základné stavební jednotky.
dbpedia-owl:wikiPageID
  • 326407 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1612 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 19 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 9943500 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • výrokové proměnné
  • výrokovou proměnnou
dcterms:subject
rdfs:comment
  • V matematické logice je výroková proměnná taková proměnná, která může nabývat hodnot pravda anebo nepravda. Výrokové proměnné jsou základní stavební bloky výrokových formulí z výrokové logiky.
rdfs:label
  • Výroková proměnná
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of