Array ( [0] => 14715720 [id] => 14715720 [1] => cswiki [site] => cswiki [2] => Protipříklad [uri] => Protipříklad [3] => [img] => [4] => [day_avg] => [5] => [day_diff] => [6] => [day_last] => [7] => [day_prev_last] => [8] => [oai] => [9] => [is_good] => [10] => [object_type] => [11] => 0 [has_content] => 0 [12] => [oai_cs_optimisticky] => ) Array ( [0] => V oblasti [[logika|logiky]] a zejména v [[matematika|matematice]] nebo [[filozofie|filozofii]] je '''protipříklad''' výjimka z uvažovaného obecného pravidla, tedy speciální případ nepravdivosti formule s [[obecný kvantifikátor|obecným kvantifikátorem]] (formule typu: „Pro všechny…“). [1] => [2] => Například věta: „Všichni studenti jsou líní.“ Protože tento výrok přikládá jistou vlastnost (lenost) „všem“ studentům, pak byť i „jediný“ student porušující tuto vlastnost dokáže neplatnost tohoto tvrzení. Proto je jakýkoli pilný student protipříkladem vyvracejícím větu: „Všichni studenti jsou líní.“ [3] => [4] => == Použití == [5] => === Matematika === [6] => V [[matematika|matematice]] se protipříklady často používají k prozkoumání hranic možných tvrzení. [7] => Prokázáním, že jistá domněnka je nepravdivá, za použití protipříkladů, se matematici vyhnou slepým cestám a zjistí jak upravit domněnky, aby vzniklo dokazatelné tvrzení. [8] => [9] => === Filozofie === [10] => Ve [[Filozofie|filozofii]] se protipříklady obvykle používají k argumentaci, že jistý filozofický postoj je chybný, poukázáním na fakt, že v některých případech neplatí. Na rozdíl od matematiků filozofové nemohou dokázat jejich tvrzení nade vši pochybnost a tak mohou jiní filozofové nesouhlasit a snažit se najít protipříklad, kterým by na ten původní odpověděli. [11] => [12] => === Formální verifikace === [13] => Protipříklad se používá také v oblasti [[formální verifikace]], kdy protipříkladem bývá běh systému (jeho chování), který porušuje ověřovanou vlastnost. Pokud je protipříklad nalezen, upravuje se většinou systém nebo vlastnost tak, aby se mohlo v dalším průchodu dokázat, že systém již danou vlastnost splňuje nebo nalezen protipříklad nový. Po několika takovýchto krocích lze obvykle nalézt lepší systém nebo jeho vlastnosti. [14] => [15] => {{Autoritní data}} [16] => [17] => [[Kategorie:Druhy matematických důkazů]] [18] => [[Kategorie:Logika]] [] => )
good wiki

Protipříklad

V oblasti logiky a zejména v matematice nebo filozofii je protipříklad výjimka z uvažovaného obecného pravidla, tedy speciální případ nepravdivosti formule s obecným kvantifikátorem (formule typu: „Pro všechny…“). Například věta: „Všichni studenti jsou líní.

More about us

About

Expert Team

Vivamus eget neque lacus. Pellentesque egauris ex.

Award winning agency

Lorem ipsum, dolor sit amet consectetur elitorceat .

10 Year Exp.

Pellen tesque eget, mauris lorem iupsum neque lacus.

You might be interested in

,'matematika','logika','filozofie','obecný kvantifikátor','Filozofie','formální verifikace','Kategorie:Druhy matematických důkazů','Kategorie:Logika'

Filozofie

Kategorie:Logika

Logika

Matematika