Na definovanie pojmu „logika príkazu“ je potrebné jasne porozumieť, čo je „vyhlásenie“.
Takže tvrdenie jeveta, ktorá je gramaticky správna a je nesprávna alebo pravdivá. Tento pojem by mal vyjadrovať určitý význam. Napríklad výraz „kanárik je vták“ zahŕňa tieto zložky: „kanárik“ a „vták“.
Preto sú výroky jedným z kľúčových počiatočných konceptov logiky. Tieto koncepcie by mali opísať konkrétnu situáciu, v ktorej dôjde k vyhláseniu alebo zamietnutiu.
Vyhlásenie sa považuje za pravdivé, ak pri jeho popise existuje skutočná situácia. Samotné „klamstvá“ a „pravda“ určujú pravdivosť tvrdení.
Logika výkazov pozostáva z jednoduchých azložité výrazy. Výrok sa teda považuje za jednoduchý, ak neobsahuje iné výrazy. Medzi zložité výrazy patria výrazy, ktoré sú odvodené z jednoduchých logicky súvisiacich príkazov.
Klasická logika výrokov môže byťpredstavovaná všeobecnou teóriou dedukcie. Toto je presne tá časť logiky, ktorá popisuje logické spojenia jednoduchých výrazov, ktoré nezávisia od štruktúry príkazov.
Nie je možné spomenúť spojitosť - komplexvyhlásenie získané kombináciou dvoch jednoduchých výrazov pomocou slova „a“. Pravdivosť spojenia potvrdzuje spoľahlivosť všetkých vyhlásení obsiahnutých v jeho štruktúre. V prípade, že aspoň jeden z jeho členov je nepravdivý, má celá spojka znamenie „nepravda“.
Spojenie samo o sebe slúži na vytvorenie komplexných tvrdení, ktoré vychádzajú z nasledujúcich predpokladov:
- akýkoľvek výraz (jednoduchý aj komplexný) môže byť pravdivý alebo nepravdivý;
- pravda komplexného tvrdenia priamo závisí od pravdivosti vyhlásení, ktoré sú v ňom obsiahnuté, a od logických súvislostí v ňom obsiahnutých.
Pri spájaní dvoch príkazov pomocouslovo „alebo“ už je disjunkciou. V každodennom živote sa na tento koncept dá pozerať z hľadiska dvoch rôznych významov. Po prvé, ide o nevýlučný význam, ktorý implikuje pravdu vyjadrenia, bez ohľadu na to, či je jedna z dvoch pravdivých alebo či obidve sú pravdivé. Po druhé, výlučný význam uvádza, že jeden z výrazov je pravdivý a druhý je nepravdivý.
Propozičné logické vzorce obsahujú špeciálnesymboly. Symbol V znamená teda, že výraz V je pravdivý, ak je aspoň jedno z tvrdení pravdivé, a nepravdivé, ak sú oba jeho výrazy nepravdivé.
Pri definovaní implikácie existujetvrdenie, že dôvod tohto tvrdenia nemôže byť pravdivý, ak je dôsledok nepravdivý. Inými slovami, tento pojem predpokladá závislosť pravdy alebo nepravdivosti výrazu na význame jeho zložiek a spôsoboch ich spojení.
Dôsledok je síce dosť užitočnýpre niektoré účely to nie je príliš konzistentné s chápaním podmienenej komunikácie vo všeobecnosti. Tento pojem nemôže predstavovať adekvátny popis, hoci pokrýva mnoho dôležitých prvkov logického správania sa vyhlásenia.
Logika vyhlásení je zameraná na ich riešenieústrednou úlohou, ako je oddelenie správnych a nesprávnych schém zdôvodnenia a systematizácie prvej. Ak chcete dosiahnuť správny výsledok, musíte sa zamerať na špeciálne symboly, ktoré môžu reprezentovať jeden alebo iný tvar. Preto je naznačený záujem o také zdanlivo nevýznamné slová ako „alebo“, „a“ atď.
Logika vyhlásení má dokonca svoj vlastný jazyk, ktorý sa skladá z nasledujúcich prvkov:
- zdrojové symboly - premenné, logické konštanty a technické znaky;
- vzorce.
Pre lepšie pochopenie toho, čo už bolo povedané, je potrebné prejsť na konkrétne príklady. Napríklad spojenie používa znak &, disjunkcia používa / alebo ° /.
