Výrokovej logiky

Definovať pojem "výrokovej logiky", je potrebné jasne pochopiť, čo je "tvrdenie".

Takže tvrdenie je veta, zaradil gramaticky správne, a je pravdivé, alebo nepravdivé. Tento pojem musí vyjadrovať určitý význam. Napríklad výraz "kanárik má" obsahuje nasledujúce súčasti: "kanárika" a "vták".

To je dôvod, prečo jeden z kľúčových počiatočných pojmov logiky a hovoria. Tieto pojmy musia opísať konkrétnu situáciu, v ktorej sa výpis je buď niečo alebo odmietnutie.

To je považované za pravdivé tvrdenie, ak je sledovať línie realita situácie, kedy je to opísané. Samy o sebe, "false" a "true" overil pravdivosť vyhlásenia.

Výroková logika sa skladá z jednoduchých i zložitých výrazov. Takže, len si myslím, že vyhlásenie, ktorá neobsahuje vo svojom zložení ďalších výrazov. A do komplexu patrí výrazy, ktoré sú odvodené od jednoduchej, logicky pripojených vyhlásení.

Klasické výrokovej logiky môžu byť reprezentované všeobecnú teóriu dedukcie. Je to tá časť logiky, ktorá popisuje nezávisí na vyhlásenie logického prepojenia jednoduchých výrazov.

Nehovoriac o konjunkcia - ťažký problém získaná spojením dvoch jednoduchých výrazov používa slovo "a". Pravda spoločne potvrdzujú, že všetky príkazy zahrnuté v jej štruktúre. V prípade, že aspoň jeden z jej členov na základe falošného, celá spojka je znamením "lži."

Je sám o sebe spojenie vytvoriť komplexný príkazy, ktoré sú na základe týchto predpokladov:

- akýkoľvek (a jednoduché a zložité) môže byť buď pravdivé alebo nepravdivé;

- pravda komplexných prehovor závisí na pravdivosti tvrdení obsiahnutých v ňom a logických väzieb v ňom.

Pri pripájaní dva príkazy, ktoré používajú slovo "alebo" už získal disjunkciu. V každodennom živote, tento koncept možno nazerať z pohľadu dvoch rôznych významoch. Po prvé, to je non-exclusive zmysel, čo znamená, že pravdu o vyjadrenie, bez ohľadu na skutočné vyjadrenie jedného z dvoch alebo sú tí dvaja. Po druhé, čo eliminuje pocit, potvrdzuje, že jedným z výrazov je pravda, a druhý - je falošný.

Výrokovej formule obsahovať špeciálne znaky. Tak, v symbole disjunkcia V znamená, že výraz platí v prípade, pravda aspoň jeden z príkazov, a false, ak ako jej falošný penis.

Pri určovaní dôsledky tam je tvrdenie, že vyhlásenie základňa nemôže byť pravda v nevhodnú vyšetrovania. Inými slovami, tento pojem znamená závislosť pravdu alebo faloš vyjadrenie hodnoty jej zložiek a spôsobov ich vzťahov.

Napriek tomu, že implikácia je veľmi užitočné pre niektoré účely, to nie je príliš v súlade s konvenčnou chápanie komunikácie všeobecne. Takže, keď to obklopuje zariadenie, mnoho z dôležitých vlastností logické správanie vyhláseniami koncept nemusí byť primeraný opis toho.

Výrokovej logiky zamerané na riešenie takejto ústrednú úlohu, lebo oddelenie správne a nesprávne obvodov uvažovania a systemizácie prvý. Ak chcete získať správny výsledok, je potrebné sa zamerať na špeciálne znaky, ktoré môže zastupovať jeden alebo inú formu. Z tohto dôvodu je uvedené do takých zdanlivo nedôležitých slov ako "alebo", "a", atď.

Logické vyhlásenie má dokonca svoj vlastný jazyk, ktorý sa skladá z nasledujúcich prvkov:

- pôvodné postavy - premenné, logické konštanty a technické symboly;

- formula.

Pre lepšie pochopenie toho, čo bolo povedané, musíte ísť na konkrétnych príkladoch. Napríklad spojenie používať symbol &, disjunkcia - \ / alebo \ º /.