Na určenie termínu "propositional logic" je potrebné jasne pochopiť, čo znamená "vyhlásenie".
Takže vyhlásenie je aVeta je gramaticky správna a je falošná alebo pravdivá. Tento pojem by mal vyjadrovať určitý význam. Napríklad výraz "kanárik je vták" zahŕňa také zložky: "kanárik" a "vták".
Preto je jedným z kľúčových, pôvodných pojmov logiky vyhlásenia. Tieto pojmy by mali opísať konkrétnu situáciu, v ktorej bude buď vyjadrenie niečoho, alebo negácia.
Vyhlásenie sa považuje za pravdivé, ak je opísaná realita situácie. Samotné "lži" a "pravda" určujú pravdivosť výrokov.
Logika vyhlásení pozostáva z jednoduchých akomplexné výrazy. Takže jednoduché vyhlásenie, ktoré neobsahuje iné výrazy v jeho zložení, je považované za jednoduché. A komplexné sú výrazy, ktoré sú získané z jednoduchých, logicky súvisiacich vyhlásení.
Klasická logika výrokov môže byťje reprezentovaná všeobecnou teóriou odpočtu. To je práve časť logiky, v ktorej sú opísané logické spojenia jednoduchých výrazov, ktoré sú nezávislé od štruktúry vyhlásení.
Je nemožné nehovoriť o spojení - komplexevyhlásenie získané kombináciou dvoch jednoduchých výrazov so slovom "a". Pravdivosť spojenia je potvrdená spoľahlivosťou všetkých vyhlásení zahrnutých do jej štruktúry. V prípade, že aspoň jeden z jeho členov je nepravdivý, celá spojka má znamienko "lož".
Súvislosť samotná slúži na vytvorenie komplexných vyhlásení založených na týchto predpokladoch:
- akýkoľvek výraz (jednoduchý aj zložitý) môže byť pravdivý alebo nepravdivý;
- pravda komplexného vyhlásenia priamo závisí od pravdy jeho vyhlásení a logických spojení v ňom.
Pri pripájaní dvoch viet pomocouslovo "alebo" je už disjunkciou. V každodennom živote sa tento pojem môže vnímať z hľadiska dvoch rôznych významov. Po prvé, ide o neexkluzívny význam, ktorý zahŕňa pravdivosť výrazu bez ohľadu na to, či je jeden z týchto výrazov pravdivý, alebo oboje. Po druhé, výlučný význam uvádza, že jeden z výrazov je pravdivý a druhý je falošný.
Formuláre výrokovej logiky obsahujú špeciálneznaky. Preto v disjunkcii symbol V označuje, že výraz je pravdivý, ak aspoň jedno z výrokov je pravdivé a je nepravdivé, ak obidva jeho termíny sú falošné.
Pri určovaní dôsledkov existujetvrdenie, že základ vyhlásenia nemôže byť pravdivý s falošným dôsledkom. Inými slovami, tento pojem predpokladá závislosť pravdy alebo falošnosti výrazu na význame jeho zložiek a spôsoboch ich spojenia.
Napriek skutočnosti, že dôsledky sú celkom užitočnéna niektoré účely nie je veľmi v súlade s pochopením podmieneného vzťahu vo všeobecných pojmoch. Takže v kontexte mnohých dôležitých čŕt logického správania výroku tento pojem nemôže byť jeho adekvátnym opisom.
Logika vyhlásení je zameraná na riešenie takéhoto problému.ústrednú úlohu, ako oddelenie správneho a nesprávneho systému úvah a systematizácie prvých. Ak chcete získať správny výsledok, musíte zamerať svoju pozornosť na špeciálne symboly, ktoré môžu predstavovať jeden alebo druhý spôsob. Z tohto dôvodu je uvedený záujem o také slová ako "alebo", "a" atď., Ktoré sú na prvý pohľad zanedbateľné.
Logika vyhlásení má dokonca aj svoj vlastný jazyk, pozostávajúci z nasledujúcich prvkov:
- počiatočné symboly - premenné, logické konštanty a technické znaky;
- vzorcov.
Na lepšie pochopenie toho, čo bolo povedané, musíme prejsť na konkrétne príklady. Napríklad kombinácia používa symbol &, rozdelenie - / alebo º /.
</ p>