Co je to Vyrokova logika
Výroková logika patří do skupiny formálních logik (analyzuje věty do úrovně elementárních výroků, přičemž nezkoumá strukturu výroku). Výroková logika se zabývá těmi formami usuzování, u nichž platnost závěrů nezávisí na smyslu ani na vnitřní struktuře výroků, ale výhradně na pravdivosti či nepravdivosti těchto výroků.
ArchivPodobné
Co je výrok v matematika
Za výrok budeme považovat jakékoli tvrzení, u kterého má smysl zabývat se otázkou, zda je či není pravdivé (podle toho pak výrok budeme nazývat pravdivým nebo nepravdivým). Zároveň je nutné dodat, že tato tvrzení budeme zkoumat samostatně, bez souvislosti s případným kontextem.
Jak poznat výrok
Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku určujeme pravdivostní hodnotu. Pokud výrok platí, označíme jeho pravdivostní hodnotu číslicí 1, pokud neplatí, označíme jeho pravdivostní hodnotu číslicí 0.
Kdy je formule splnitelná
Formule je splnitelná (konsistentní), jestliľe alespoň jeden list odpovídajícího sémantického stromu nese výslednou hodnotu interpretace true. Formule je platná (tautologická), jestliľe vąechny listy jejího úplného sémantického stromu nesou výslednou hodnotu interpretace true.
Jak negovat výroky
Nejjednodušším způsobem, jak z výroku vyrobit jeho negaci, je přidat na začátek daného výroku formulaci: „Není pravda, že…“ Další možností je ovšem vytvoření nového výroku s opačnou „pravdivostí“. Pokud vyrábíme z výroku jeho negaci, říkáme, že výrok negujeme.
Co je složený výrok
Složený výrok (formule)
Složené výroky jsou výroky, které vznikly z jednoduchých výroků použitím logických spojek.
Co není výrok
Výrokem není například tázací věta nebo věta, u které nemůžeme jednoznačně určit její pravdivostní hodnotu. Opět příklad: Bude i příští rok Bill Gates nejbohatší člověk na světě
Co je to výrok rozhodnutí
výrok (enunciát) – rozhodnutí v užším slova smyslu. odůvodnění – obsahuje popis skutkového stavu, vyjádření účastníků řízení, rekapitulaci případného dokazování a zdůvodnění posouzení právního stavu věci. poučení o možnosti podat opravný prostředek. datum a místo vydání rozhodnutí
Kdy je výrok pravdivý
Pravdivý výrok bude mít pravdivostní hodnotu 1 a nepravdivý 0. Pravdivostní ohodnocení je pak předpis e, který danému výroku přiřazuje buď 0 nebo 1. Pokud napíšeme e(p), chceme zjistit pravdivost výroku p. Pokud je p rovno výroku „dva krát dva jsou čtyři“, pak e(p) = 1, protože se jedná o pravdivý výrok.
Co je to tautologie
Tautologie (z řeckého ταυτολογία, tautologia, výpověď o témže) je v logice vždy pravdivý složený výrok. Je pravdivý vždy, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku. Příkladem tautologie je výrok: „Buď bude zítra pršet, nebo zítra pršet nebude.
Jak poznam Tautologii
To, zda je výrok pravdivý nebo nepravdivý lze ověřit pomocí pravdivostních tabulek – tabulková metoda (vytvoříme si tabulku formule, a pokud je formuli v každém řádku přiřazena jednička, je to tautologie).
Co je výroková část
Ve výrokové části rozhodnutí se uvede řešení otázky, která je předmětem řízení – např. popis skutku, vyslovení viny (v řízení o přestupcích), druh a výměra sankce, popřípadě nárok na náhradu škody. Ve výroku se dále uvádí právní ustanovení, podle něhož bylo rozhodováno, a označí se účastníci řízení.
Co to je výrok soudu
Výrok soudu o nákladech řízení má charakter usnesení, protože nejde o rozhodnutí ve věci samé, o níž soud rozhoduje rozsudkem (§ 152 odst. 2 o.s.ř.). Nestanoví-li zákon jinak, rozhoduje soud v ostatních věcech usnesením (§ 167 odst. 1 o.s.ř.).
Co je to kontradikce
Kontradikce (z lat. contra-dicere, protiřečit) znamená spor nebo protimluv.
Co to je implikace
Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B, pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili implikováno. Příklad: „Nebude-li pršet, nezmoknem.
Co to je Disjunkce
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku. Oblasti se mohou překrývat. Pojem se používá např. ve fytogeografii.
Co je výroková část rozhodnutí
(1) Rozhodnutí obsahuje výrokovou část, odůvodnění a poučení účastníků. (2) Ve výrokové části se uvede řešení otázky, která je předmětem řízení, právní ustanovení, podle nichž bylo rozhodováno, a označení účastníků podle § 27 odst. 1.
Co je to odůvodnění
Odůvodnění je obvyklou náležitostí každého rozhodnutí, v němž veřejný úřad vysvětluje, proč vydal právě takový výrok, jaký vydal.
Co je výrok o trestů
Za výrok o trestu ve smyslu ustanovení § 35 odst. 2, věty druhé, tr. zák., který soud musí zrušit při ukládání souhrnného trestu, je třeba považovat souhrn všech dílčích výroků týkajících se určitého trestu nebo více druhů trestů uložených vedle sebe.
Jak funguje negace
Negace výroku obrací jeho pravdivostní hodnotu, jinými slovy, jejím výsledkem je výrok, který je pravdivý přesně tehdy, když je ten průvodní nepravdivý, a naopak. Negace výroku p se značí ¬ p. Příklad: Negace výroku "Máme alespoň dvě jablka" je výrok "Máme méně než dvě jablka".
Co musí obsahovat rozsudek
Rozsudek obsahuje 4 významné části: úvodní část, výrok, odůvodnění a poučení o opravných prostředcích. Rozsudek jako takový můžeme ještě dělit na tzv. rozsudek odsuzující nebo zprošťující. Odsuzující rozsudek: obviněný je uznán vinným, nemusí mu být při tom uložen trest.
Jak probíhá vyhlášení rozsudku
Rozsudek se vyhlašuje vždy veřejně, a to i v případě, kdy účast veřejnosti byla v předcházejícím řízení vyloučena. Vyhlášení se provádí slavnostním a důstojným způsobem, kdy všechny přítomné osoby včetně soudců povstanou.
Co to je trestní příkaz
Trestní příkaz je druhem rozhodnutí v trestním řízení. Jeho největším rozdílem oproti např. rozsudku je ten, že je vydáván bez projednání věci v hlavním líčení, tedy bez líčení před soudem. Soud trestním příkazem může rozhodnout u věci, kdy je věc spolehlivě prokázána dosud opatřenými důkazy.
Kdo rozhoduje o vině a trestu
… "základní práva a svobody jsou pod ochranou soudní moci". Článek 90 Ústavy stanoví, že "soudy jsou povolány především k tomu, aby zákonem stanoveným způsobem poskytovaly ochranu právům. Jen soud rozhoduje o vině a trestu za trestné činy".
Kdy přijde rozsudek
V praxi má soudce na vyhotovení rozsudku soudce 30 dní ode dne konání soudu, ale když to nestihne, může požádat o prodloužení lhůty vždy o dalších 30 dní. Poté se čeká na převzetí usnesení nebo rozsudku všemi účastníky, a to i když se vzdali odvolání na místě při soudním líčení.
