V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).Výroková logika se skládá ze syntaktických pravidel - určují, kdy je formule správně utvořená, odvozovacích pravidel - určují, jak z jedněch formulí správně odvozovat další stále validní důsledkové formule, (nejvýše spočetné) množiny axiomů a axiomatických schémat.

PropertyValue
prop-cs:druhý
  • pojetí formule v predikátové logice
prop-cs:redirect
  • Výroková formule
prop-cs:stránka
  • Formule
prop-cs:tento
  • pojetí formule ve výrokové logice
  • pojmu matematické logiky
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).Výroková logika se skládá ze syntaktických pravidel - určují, kdy je formule správně utvořená, odvozovacích pravidel - určují, jak z jedněch formulí správně odvozovat další stále validní důsledkové formule, (nejvýše spočetné) množiny axiomů a axiomatických schémat.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 16982 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3090 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 21 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16550804 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Výroková logika
  • výrokovou logiku
  • výrokové logice
  • výroková logika
  • výrokové logiky
  • Výroková logika#Výroková formule
  • výrokovou
  • výrokové
  • výroková
  • Výroková logika#Pravdivost
dcterms:subject
rdfs:comment
  • V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).Výroková logika se skládá ze syntaktických pravidel - určují, kdy je formule správně utvořená, odvozovacích pravidel - určují, jak z jedněch formulí správně odvozovat další stále validní důsledkové formule, (nejvýše spočetné) množiny axiomů a axiomatických schémat.
rdfs:label
  • Výroková logika
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of