Logika je věda o formálních, přísných pravidlech uvažování. Studuje procesy myšlení založené na principech a zákonech. Jedním ze základních pojmů v logice je výrok. Výrok je výrok, buď pravdivý, nebo nepravdivý. Může být vyjádřen ve formě věty, která má určitou sémantickou zátěž. Výrok je tedy jednoduchým výrokem, který souvisí s realitou a má pravdivost, která není závislá na kontextu.
Existuje mnoho různých logických operací, které vám umožňují operovat výroky. Mezi nimi jsou nejznámější operace spojivky (y), disjunkce (nebo) a negace (ne). Konjunktura spojuje dva výroky a dává skutečný význam pouze tehdy, když jsou oba výroky pravdivé. Disjunkce také spojuje dva výroky, ale na rozdíl od konjunktury dává skutečný význam, pokud je alespoň jeden z výroků pravdivý.
Kolik logických operací existuje?
V logice existuje několik základních logických operací, které umožňují kombinovat výroky a přijímat nová prohlášení v důsledku jejich provádění. Mezi hlavní logické operace patří konjunktura, disjunktura, implantace, vylučující nebo a popírací operace.
| Název operace | Označení | Popis |
|---|---|---|
| Konjunktura | ∧ | Vrátí pravdu pouze tehdy, jsou-li oba výroky pravdivé. |
| Disjunkce | ∨ | Vrátí pravdu, pokud je alespoň jeden z výroků pravdivý. |
| Implikace | → | Vrací lež pouze tehdy, je-li podmíněný výrok pravdivý a důsledek nepravdivý. |
| Vylučující nebo | ⊕ | Vrací pravdu pouze tehdy, mají-li výroky různé významy. |
| Popírání | ¬ | Mění význam výroku na opak. |
Tyto logické operace umožňují vytvářet složité výroky a analyzovat jejich skutečné hodnoty. Znalost základních logických operací vám pomůže porozumět logickým výrazům a vytvářet logické algoritmy.
Atomové a kompozitní operace
Atomové operace - to jsou základní logické operace, které nelze rozložit na jednodušší operace. Tyto operace zahrnují: negace (NOT), konjunktura (AND), disjunktura (OR) a ekvivalence (EQV).
Operace negace (NOT) přijímá jeden výraz na vstup a vrací jeho negaci. Pokud je původní výraz pravdivý, pak operace NOT vrací lež a naopak. Například operace NOT je pravdivá, což znamená, že tvrzení je nepravdivé.
Operace spojivky (AND) přijímá dva výrazy na vstup a vrací logické a. Výsledek operace AND bude pravdivý pouze v případě, že jsou oba původní výrazy pravdivé, v opačném případě bude výsledek nepravdivý. Například operace " a And b "bude pravdivá pouze tehdy, pokud jsou" a "i" b " pravdivé.
Operace disjunkce (OR) přijímá dva výrazy na vstup a vrací logické nebo. Výsledek operace OR bude pravdivý, pokud je alespoň jeden z původních výrazů pravdivý, v opačném případě bude výsledek nepravdivý. Například operace " a OR b "bude pravdivá, pokud je alespoň jedno z" a "A" b " pravdivé.
Operace ekvivalence (EQV) přijímá do vstupu dva výrazy a vrací pravdu, pokud jsou původní výrazy stejné, a lež jinak. Například operace " a EQV b "bude pravdivá pouze v případě, že" a "a" b " jsou stejné.
Kompozitní operace vzniká kombinací atomových operací. Kompozitní operace může zahrnovat aplikaci jedné nebo více atomových operací na výrazy a lze ji popsat pomocí logických operátorů. Například operace "A AND (b OR C)" je kompozitní operace, která zahrnuje operaci spojivky (AND) a operaci spojivky (OR).
Operace konjunktury, disjunktury a negace
Operace spojivky je označena symbolem ∧ a vztahuje se na dva logické výrazy. Výsledkem provádění operace spojivky je pravda pouze tehdy, jsou-li oba výrazy, na které je aplikována, pravdivé. V opačném případě bude výsledkem lež.
Operace disjunkce je označena symbolem ∨ a vztahuje se také na dva logické výrazy. Výsledkem operace disjunkce je pravda, pokud je alespoň jeden z výrazů, na které je aplikován, pravdivý. Pouze v případě, že jsou oba výrazy nepravdivé, výsledkem bude lež.
Operace negace je označena symbolem a aplikována na jeden logický výraz. Výsledkem operace negace je logický výraz, který je opačný než původní. Pokud je původní výraz pravdivý, výsledkem bude lež, a pokud je původní výraz nepravdivý, pak výsledkem bude pravda.
| Argument 1 | Argument 2 | Konjunktura (Argument 1 ∧ Argument 2) | Disjunkce (Argument 1 ∨ Argument 2) | Popření (Argument 1) |
|---|---|---|---|---|
| Pravdivost | Pravdivost | Pravdivost | Pravdivost | Lež |
| Pravdivost | Lež | Lež | Pravdivost | Lež |
| Lež | Pravdivost | Lež | Pravdivost | Pravdivost |
| Lež | Lež | Lež | Lež | Pravdivost |
Tabulka pravdivosti operací konjunktury, disjunktury a negace ukazuje možné kombinace hodnot argumentů a odpovídající výsledky provádění operací.
Pokročilé operace: implantace a ekvivalence
Implantace je logická operace, která vyjadřuje postoj " pokud. to". Je označena symbolem "- > "nebo"=>". Implicitní vzorec přijímá dvě prohlášení: A (antecedent) a B (konsekvent). Pokud je a pravdivé, pak je B považováno za důsledek A a implantace vrací skutečnou hodnotu. Pokud je a nepravdivé, pak bez ohledu na hodnotu B je implantace považována za pravdivou.
Ekvivalence je logická operace, která vyjadřuje vztah "tehdy a pouze tehdy". Je označena symbolem "nebo". Vzorec ekvivalence přijímá dva výroky A A B a vrací skutečnou hodnotu pouze tehdy, když mají oba výroky stejnou hodnotu. Pokud se hodnota A A B liší, pak ekvivalence vrátí falešnou hodnotu.
Použití implikace a ekvivalence umožňuje přesnější formulování výroků a popis logických souvislostí mezi nimi. Jsou důležitými nástroji v matematice, filozofii a informatice, kde logické operace hrají kritickou roli při zjišťování pravdivosti výroků.