Logika výpovědí

K určení termínu "propositional logic" je nutné jasně pochopit, co je "prohlášení".

Takže výrok je věta, která je gramaticky správná a je falešná nebo pravdivá. Tento koncept by měl vyjádřit určitý význam. Například výraz "kanár je pták" zahrnuje takové složky: "kanár" a "pták".

Proto je jedním z klíčových, původních pojmů logiky prohlášení. Tyto koncepty by měly popsat konkrétní situaci, ve které bude buď něco prohlášení, nebo negace.

Toto tvrzení je považováno za pravdivé, pokud je popsána realita situace. Sám o sobě "lži" a "pravda" určují pravdivost výroků.

Logika výroků se skládá z jednoduchých a složitých výrazů. Takže jednoduché tvrzení, které nezahrnuje další výrazy ve svém složení, je považováno za jednoduché. A komplexní jsou výrazy, které jsou získávány z jednoduchých, logicky souvisejících prohlášení.

Klasická logika výroků může být reprezentována obecnou teorií odečtení. To je právě část logiky, ve které jsou popsány logické souvislosti jednoduchých výrazů, které jsou nezávislé na struktuře výroků.

Není možné zmínit souvislost - komplexní prohlášení, které se získá kombinací dvou jednoduchých výrazů se slovem "a". Pravdivost spojení je potvrzena spolehlivostí všech tvrzení obsažených v její struktuře. V případě, že alespoň jeden z jeho členů je falešný, celá spojka má znak "lži".

Souvislost sama slouží k vytvoření těch složitých tvrzení, která jsou založena na těchto předpokladech:

- jakýkoli výraz (jednoduchý i složitý) může být buď pravdivý nebo nepravdivý;

- pravda komplexního prohlášení přímo závisí na pravdivosti jejích prohlášení a logických souvislostech v ní.

Když jsou dvě slova spojena s použitím slova "nebo", získá se rozdělení. V každodenním životě lze tento pojem sledovat z hlediska dvou různých významů. Za prvé, to je non-exclusive smysl, což znamená, že pravdu o vyjádření, bez ohledu na skutečné vyjádření jednoho ze dvou nebo jsou ti dva. Za druhé, výhradní význam uvádí, že jeden z výrazů je pravdivý a druhý je falešný.

Formule propoziční logiky obsahují speciální symboly. V rozporu tedy symbol V označuje výraz je pravdivý s pravdou alespoň jednoho z výroků, a je falešné, pokud oba jeho termíny jsou falešné.

Při určování důsledků existuje tvrzení, že základ prohlášení nemůže být pravdivý pro falešný důsledek. Jinými slovy, tento pojem předpokládá závislost pravdy nebo falešnosti výrazu na významu jeho složek a způsobech jejich spojení.

Navzdory skutečnosti, že implicace je pro některé účely dostatečně užitečná, není příliš shodné s pochopením podmíněného vztahu obecně. Takže v pojetí mnoha důležitých rysů logického chování výroku nemůže být tento pojem jeho adekvátním popisem.

Logika výpovědí je zaměřena na řešení takového ústředního úkolu, jako je oddělení správných a nesprávných schémat uvažování a systematizace prvních. Abyste získali správný výsledek, je třeba zaměřit svou pozornost na speciální symboly, které mohou představovat jeden či jiný způsob. Zájem o taková slova jako "nebo", "a" atd., Které jsou na první pohled bezvýznamné, je proto označen.

Logika výroků má dokonce i svůj vlastní jazyk, skládající se z následujících prvků:

- počáteční symboly - proměnné, logické konstanty a technické značky;

- vzorce.

Pro lepší pochopení toho, co bylo řečeno, je třeba přejít na konkrétní příklady. Například spojení používá symbol , disjunkce - nebo ordm- /.