TvořeníVěda

Výrokové logiky

Definovat pojem „výrokové logiky“, je třeba jasně pochopit, co je „tvrzení“.

Takže tvrzení je věta, zařadil gramaticky správně, a je pravdivé, nebo nepravdivé. Tento pojem musí vyjadřovat určitý význam. Například výraz „kanárek má“ obsahuje následující součásti: „kanára“ a „pták“.

To je důvod, proč jeden z klíčových počátečních pojmů logiky a říkají. Tyto pojmy musí popsat konkrétní situaci, ve které se výpis je buď něco nebo odmítnutí.

To je považováno za pravdivé tvrzení, je-li sledovat linie realita situace, kdy je to opsané. Samy o sobě, „false“ a „true“ ověřil pravdivost prohlášení.

Výroková logika se skládá z jednoduchých i složitých výrazů. Takže, jen si myslím, že prohlášení, která neobsahuje ve svém složení dalších výrazů. A do komplexu patří výrazy, které jsou odvozeny od jednoduché, logicky připojených prohlášení.

Klasické výrokové logiky mohou být reprezentovány obecnou teorii dedukce. Je to ta část logiky, která popisuje nezávisí na prohlášení logického propojení jednoduchých výrazů.

Nemluvě o konjunkce - těžký problém získaná spojením dvou jednoduchých výrazů používá slovo „a“. Pravda společně potvrzují, že všechny příkazy zahrnuty v její struktuře. V případě, že alespoň jeden z jejích členů na základě falešného, celá spojka je znamením „lži.“

Je sám o sobě spojení vytvořit komplexní příkazy, které jsou na základě těchto předpokladů:

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

- pravda komplexních promluv závisí na pravdivosti tvrzení obsažených v něm a logických vazeb v něm.

Při připojování dva příkazy, které používají slovo „nebo“ již získal disjunkci. V každodenním životě, tento koncept lze nahlížet z pohledu dvou různých významech. 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é, což eliminuje pocit, potvrzuje, že jedním z výrazů je pravda, a druhý - je falešný.

Výrokové formule obsahovat speciální znaky. Tak, v symbolu disjunkce V znamená, že výraz platí v případě, pravda alespoň jeden z příkazů, a false, pokud jak její falešný penis.

Při určování důsledky tam je tvrzení, že prohlášení základna nemůže být pravda v nevhodnou vyšetřování. Jinými slovy, tento pojem znamená závislost pravdu nebo faleš vyjádření hodnoty jejích složek a způsobů jejich vztahů.

Navzdory tomu, že implikace je velmi užitečné pro některé účely, to není příliš v souladu s konvenční chápání komunikace obecně. Takže, když to obklopuje zařízení, mnoho z důležitých vlastností logické chování prohlášeními koncept nemusí být přiměřený popis toho.

Výrokové logiky zaměřené na řešení takové ústřední úlohu, neboť oddělení správné a nesprávné obvodů uvažování a systematizace první. Chcete-li získat správný výsledek, je třeba se zaměřit na speciální znaky, které může zastupovat jeden nebo jinou formu. Z tohoto důvodu je uvedeno do takových zdánlivě nevýznamných slov jako „nebo“, „a“, atd.

Logické prohlášení má dokonce svůj vlastní jazyk, který se skládá z následujících prvků:

- původní postavy - proměnné, logické konstanty a technické symboly;

- formule.

Pro lepší pochopení toho, co bylo řečeno, musíte jít na konkrétních příkladech. Například spojení používat symbol &, disjunkce - \ / nebo \ º /.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 cs.delachieve.com. Theme powered by WordPress.