wikipedia.infostar.cz

Logika

Logika je věda úvahy. Logika pomůže lidem se rozhodnout zda něco je pravdivé nebo nepravdivé.

Populární příklad, daný Aristotleem:

  1. Všichni lidé jsou smrtelník (, kterého oni lisují na nějakém místě
  2. )
  3. Aristotle je člověk
  4. Proto, Aristotle je smrtelný
  5. .

je čtení jako “a”, znamenat oba dva. je čtení jako “nebo”, mínit přinejmenším jeden dva. je čtení jako “implikuje”, nebo “jestliže... pak...”. je čtení jako “ne”, nebo “to není případ to...”.\land\lor\Rightarrow\lnot

Nepřehlédněte: Tato stránka obsahuje strojový překlad textu z anglické encyklopedie Wikipedia. Pokud budou některé pasáže špatně srozumitelné, zkuste se podívat i na text v originále, který najdete pod odkazem Logic. Překlad byl vytvořen pomocí překladače Eurotran.

Toto je stejné ukázkové použití logiky symboly:

A toto je stejné příklad používat obecné termíny:

Konečně, ti mluvit o logickém hovoru o logických klauzulích. Klauzule je jednoduše něco jako “Aristole je člověk” nebo “všichni lidé jsou smrtelní”. Klauzule mají pravdivou hodnotu; oni jsou jeden pravdivý nebo nepravdivý, ale ne oba. Chyby v logice jsou nazývány “klamy”.

Tam jsou sdělení, která jsou vždy pravdivá.

je vždy pravdivý. To je nazýváno tautologií. (například: “to prší nebo to neprší”)(a \lor \lnot a)

Logika je používána počítači v čem je volal algoritmus. Algoritmus je druh jako recept vaření; to řekne počítači co dělat a když dělat to.

Logika je použita v matematice. Lidi, kteří studují matematiku vytvoří důkazy, které používají logiku, aby ukázal, že fakty matematiky jsou správné. Tam je oblast matematiky volal formální logiku, která studuje logiku používat matematiku.

Logika je také studována ve filozofii.