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 | |
