Podmíněná disjunkce - Conditioned disjunction
 | |
| Definice | |
|---|---|
| Pravdivá tabulka | |
| Normální formy | |
| Disjunktivní | |
| Spojovací | |
| Zhegalkinový polynom | |
| Mřížky Postu | |
| 0-konzervování | Ano |
| 1-konzervování | Ano |
| Monotónní | Ne |
| Afinní | Ne |
Logicky podmíněná disjunkce (někdy nazývané podmíněná disjunkce) je trojice logické pojivo představil Kostel.[1] Dané operandy p, q, a r, které představují pravdivý propozice, význam podmíněné disjunkce [p, q, r] darováno:
![{displaystyle [p, q, r] ~ leftrightarrow ~ (qightarrow p) země (např. qightarrow r)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d833dac9059d74bde8abefa0d07308e56a942ef)
Ve slovech, [p, q, r] odpovídá: „pokud q pak p, jinak r„nebo“p nebo r, podle as q nebo ne q". To může být také uvedeno jako"q naznačuje pa ne q naznačuje r". Takže pro všechny hodnoty p, q, a r, hodnota [p, q, r] je hodnota p když q je pravda a je hodnotou r v opačném případě.
Podmíněná disjunkce je také ekvivalentní:
a má stejnou tabulku pravdy jako „ternární“ (?: ) operátor v mnoha programovacích jazycích. Z hlediska elektronické logiky to lze také považovat za jednobitové multiplexer.
Ve spojení s konstantami pravdy označujícími každou pravdivostní hodnotu je podmíněná disjunkce pravdivě funkčně kompletní pro klasická logika.[2] Své pravdivostní tabulka je následující:
| p | q | r | [p, q, r] |
|---|---|---|---|
| T | T | T | T |
| T | T | F | T |
| T | F | T | T |
| T | F | F | F |
| F | T | T | F |
| F | T | F | F |
| F | F | T | T |
| F | F | F | F |
Existují i další pravdivě funkčně úplné ternární spojky.
Reference
- ^ Kostel, Alonzo (1956). Úvod do matematické logiky. Princeton University Press.
- ^ Wesselkamper, T., „Jediný dostatečný operátor“, Deník Notre Dame formální logiky, Sv. XVI, č. 1 (1975), str. 86-88.
externí odkazy
Média související s Podmíněná disjunkce na Wikimedia Commons
Média související s  | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |