Logická souvislost
V logice a technických polích, která používají to, souvislost, nebo a, je logický operátor v logickém calculi. Výsledek spojovat dva problémy je také nazýván jejich souvislostí. Souvislost je pravdivá jestliže oba spojených problémů být pravdivý; jinde to je falešné.
Například, zvážit to:
- x > 13 a x
Symbol “a a;” je typicky užitý na souvislost, a”P a a; Q” je čten”P a Q”. Slovo “a” ve všech-velká písmena je také používán, a obyčejné anglické slovo “a” je pravděpodobně nejobvyklejší všichni.
| Input1 | Input2 | Výstup |
|---|---|---|
| Falešný | Falešný | Falešný |
| Falešný | True | Falešný |
| True | Falešný | Falešný |
| True | True | True |
Intuitivně, logický operátor pracuje stejný jako obyčejné anglické slovo “a”. Věta “to prší a já jsem vnitřek” tvrdí, že dvě věci jsou současně pravdivé: že to prší venku, a že já jsem vnitřek. Logicky, toto bylo by naznačované tím, že říká, že kandiduje na “to prší”, B kandiduje na “já jsem vnitřek”, spolu a B.
Souvislost jak my jsme popisovali to je binární operátor, znamenat, že to spojí dva termíny do jednotlivého příkazu. Nicméně, jeden může také přivázat souvislosti, takový jak a B a C, který je logicky rovnocenný oba k ( a B) a C a k a (B a C). Toto sdělení je pravdivé jestliže , B, a C být současně pravdivý. V přepychovějším jazyce, souvislost je asociativní. To je také komutativní; a B je stejný jak B a .
Obdoba souvislosti pro (možná nekonečný) familiy sdělení je počítání univerzálie, který je část predikátové logiky.
Menší výtisk logiky a jazyka je role slova “ale”. Logicky, věta “to prší, ale slunce svítí” je ekvivalent k “to prší a slunce svítí”, tak logicky, “ale” je ekvivalent k “a”. Nicméně, v přirozeném jazyce, “ale” a “a” být semantically zřetelný. Bývalá věta navrhne, že druhá věta je obvykle rozpor.
Jeden způsob, jak vyřešit tento problém korespondence mezi symbolickou logikou a přirozeným jazykem má poznamenat, že první věta (používání “ale”), implikuje existenci skrytého ale mylného předpokladu, jmenovitě to slunce nezáří, když to prší. Ta implikace zachytí významový rozdíl “a” a “ale” bez rušit jejich logickou rovnocennost. Na druhé straně, v Brazilské logice, logická rovnocennost je rozbita mezitím ale ne B (kde “ale ne” je jediný operátor) a a (Ne B), který je slabší sdělení.
Viz též:
- Logická disjunkce
- Sheffer mrtvice (nebo NAND)