definovať pojem "propositional logika", je potrebné jasne pochopiť, čo je "vo vyhlásení."
Takže tvrdenie je návrh, zaradil gramaticky správne, a sú nepravdivé alebo pravda.Tento pojem musí vyjadrovať určitý význam.Napríklad výraz "Kanárskych vtáky majú" obsahuje nasledujúce súčasti: "kanárika" a "Bird".
To je dôvod, prečo jeden z kľúčových počiatočných konceptov logiky a hovorí.Tieto pojmy sú popísať konkrétnu situáciu, v ktorej sa výpis je buď niečo alebo odmietnutie.
Pravda považovaný hovoriť, ak vykreslí čiara realita situácie, kedy je opísanej.Sami "false" a "true" definujú pravého vyhlásenie.Logické výroky
sa skladá z jednoduchých i zložitých výrazov.Takže, len myslím, vyhlásenie, že neobsahuje vo svojom zložení ďalších výrazov.A komplexu patrí výrazy, ktoré sú odvodené od jednoduchých, logicky previazaných výkazov.
klasické výrokovej logiky môže byť reprezentovaný všeobecnej teórie odpočtu.Je to tá časť logiky, ktorá popisuje nezávisí na štruktúre viet logických spojení jednoduchých výrazov.
Nehovoriac o konjunkcia - komplexné vyhlásenie, získané tým, že kombinuje dve jednoduché výrazy používa slovo "a".Pravda o spojenie potvrdzuje presnosť všetkých tvrdení obsiahnutých v jeho štruktúre.V prípade, keď aspoň jeden z jej členov je nepravdivé, celá konjunkcia je znamením "lži."
spojenie samo o sebe slúži na vytvorenie komplexnej vyhlásenia, ktoré sú založené na týchto predpokladoch:
- akýkoľvek výraz (ako jednoduché a zložité), môže byť buď pravdivé alebo nepravdivé;
- pravda komplexných prejavov závisí na pravdivosti tvrdení v nej obsiahnutých a logických väzieb v ňom.
Pri spájaní dve vyhlásenia sa slovom "alebo" už získal disjunkcia.V každodennom živote, tento koncept možno nazerať z pohľadu dvoch rôznych významoch.Po prvé, je nevýhradná zmysle, čo znamená, platnosť prejavu, bez ohľadu na skutočné expresie jedného alebo dvoch, ako, sú obaja.Po druhé, čo eliminuje pocit potvrdzuje, že jedným z výrazov je pravda, a druhý - je falošný.
formula výrokovej logiky obsahovať špeciálne znaky.Preto, v symbole disjunkciu V označuje skutočnosť, že výraz je pravdivý na pravde aspoň jedného z vyhlásení, a false, ak obaja jeho členov sú falošné.
Pri určovaní dôsledky je vyhlásenie, že základňa nemôže byť pravda na zlé vyšetrovanie.Inými slovami, tento pojem znamená, závislosť pravdivosti alebo faloš vyjadrenie hodnoty jeho zložiek a spôsobov ich vzťahov.
Napriek skutočnosti, že dôsledkom je veľmi užitočné pre niektoré účely, nie je veľmi konzistentné s tým, podmienené spojenie všeobecne.Tak, v mnohých dôležitých vlastností obklopuje zariadenie logické správanie hovorí tento koncept nemôže byť primeraný opis toho.
logika vyhlásenie zameraných na riešenie tohto ústredný problém, ako oddelenie správnym a zlým schém uvažovania a systemizácie prvý.Ak chcete získať správny výsledok, musíte sa zamerať na špeciálne znaky, ktoré môže zastupovať jeden alebo inú formu.Preto je určený záujem v tak zdanlivo nevýznamných slová ako "a", "a", atď.Logické výroky
má dokonca aj svoj vlastný jazyk, ktorý sa skladá z nasledujúcich prvkov:
- originálne charaktery - premenné, konštanty a logické technické znaky;
- vzorce.
Aby sme pochopili, čo bolo povedané, musí ísť na konkrétnych príkladoch.Napríklad, použitím symbolu spojenie & Co., disjunkcia - \ / alebo \ º /.
