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.
Property | Value |
prop-cs:druhý
|
- pojetí formule v predikátové logice
|
prop-cs:redirect
| |
prop-cs:stránka
| |
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
| |
dbpedia-owl:wikiPageLength
| |
dbpedia-owl:wikiPageOutDegree
| |
dbpedia-owl:wikiPageRevisionID
| |
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
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbpedia-owl:wikiPageRedirects
of | |
is dbpedia-owl:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |