Výsledky hledání
Skočit na navigaci
Skočit na vyhledávání
Stránky s odpovídajícím názvem
- '''Výrok''' je základní [[pojem]] [[Logika|logiky]]. Většinou se definuje jako tvrzení, u kterého má smysl mluvit o… | titul = Logika pro informatiky …13 KB (1 899 slov) - 14. 2. 2025, 16:36
- {{Různé významy|redirect=Výroková formule|tento=pojmu [[matematická logika|matematické logiky]]|stránka=Formule}} …ojetí formule v [[predikátová logika|predikátové logice]]|stránka=Formule (logika)}} …6 KB (922 slov) - 14. 8. 2024, 14:40
- …ůvodních, spíše lingvistických a filosofických motivací nachází temporální logika od poslední třetiny dvacátého století uplatnění i v informatice a umělé int …émem jeho zachycení lze představit. Oproti běžnému úzu ve studiu [[Modální logika|modálních logik]] postupoval historický vývoj jednotlivých temporálních log …24 KB (4 121 slov) - 21. 5. 2022, 19:07
- [[logika|Logická]] '''konjunkce''' (používají se pro ni symboly ''AND'', & nebo <mat V [[logika|logice]] a [[matematika|matematice]] je '''konjunkce''' označením pro „a“. …2 KB (233 slov) - 19. 10. 2022, 03:54
- '''Unifikace''' je v logice [[substituce (logika)|substituce]], po jejíž aplikaci na množinu termů dostaneme jeden term. For …em v roce 1965 a použit pro [[Rezoluce (logika)|rezoluci]] v [[Predikátová logika|predikátové logice]]. Používá se například v [[unifikační gramatika|unifika …1 KB (215 slov) - 2. 11. 2024, 22:53
- V [[matematika|matematice]] a [[logika|logice]] se pojmem '''predikátová logika''' označuje formální odvozovací systém používaný k popisu matematických teo …Na rozdíl od výrokové logiky má bohatší vyjadřovací schopnost. Predikátová logika si všímá struktury vět. V každé větě rozlišuje individua, o kterých se něco …21 KB (3 676 slov) - 17. 3. 2025, 21:26
- Pro [[výroková logika|výrokovou logiku]] má tvar V [[predikátová logika|predikátové logice]] má rezoluce podobu …2 KB (324 slov) - 9. 8. 2021, 20:07
- '''Lineární logika''' je verze formální [[logika|logiky]], v níž při odvození dochází k vyřazení antecedentu z množiny formu [[Kategorie:Matematická logika]] …1 KB (186 slov) - 8. 8. 2021, 13:29
- '''Booleova logika''' se zabývá logickými operacemi [[Konjunkce (matematika)|konjunkce]] (znač ==== [[Ekvivalence (logika)|Ekvivalence]] ==== …6 KB (923 slov) - 17. 10. 2024, 18:09
- [[Kategorie:Logika]] …1 KB (174 slov) - 31. 5. 2015, 15:27
- Název '''ekvivalence''' je v [[logika|logice]] používán pro [[binární operátor|binární]] logický [[operátor]] zna …ivostní hodnotou oboustranné [[implikace]], tj. následující dvě [[formule (logika)|formule]] mají stejnou pravdivostní tabulku: …3 KB (464 slov) - 9. 11. 2022, 12:59
- [[Kategorie:Matematická logika]] …822 bajtů (137 slov) - 21. 11. 2017, 17:34
- …aké (matematické) tvrzení v jisté formální [[teorie|teorii]] [[predikátová logika prvního řádu|predikátové logiky prvního řádu]]. Nechť ''L'' je [[jazyk (logika)|jazyk]]. V následující definici uvažujeme pouze dvě [[logické spojky]] <ma …4 KB (734 slov) - 23. 5. 2023, 05:52
- '''Signatura''' v [[Logika|logice]], především v [[Matematická logika|matematické logice]], udává a popisuje [[Mimologický symbol|mimologické sym * ''{{Kotva|relační symbol}}relační symboly'' neboli ''[[Predikát (logika)|predikáty]]'' (příklady: <math>\,\leq, \, \in</math>), …11 KB (1 690 slov) - 14. 3. 2025, 13:11
- …rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí [[formule (logika)|formule]]. Pojem jazyka náleží do oblasti logické syntaxe. …ro [[rovnost (matematika)|rovnost]]: <math>\,=</math> (pokud jde o jazyk [[logika s rovností|logiky s rovností]]) …4 KB (555 slov) - 16. 10. 2024, 19:01
- …'struktura''') je [[matematika|matematický]] pojem z oblasti [[matematická logika|matematickologické]] sémantiky. Je to seskupení objektů, na němž jsou defin …), který obsahuje z mimologických symbolů [[konstantní symbol (matematická logika)|konstantní symboly]] <math>c_\alpha; \alpha\in I_K</math>, [[funkční symbo …7 KB (1 143 slov) - 16. 10. 2024, 18:48
- …[[Predikátová logika prvního řádu|logiku prvního řádu]] a '''[[Predikátová logika vyššího řádu|logiku vyšších řádů]]'''. …ořádaná množina|dobře uspořádané množiny]]. Takové tvrzení není [[Formule (logika)|formulí]] predikátové logiky prvního řádu. …6 KB (1 051 slov) - 23. 11. 2024, 17:50
- …kátová logika]]. Predikátová logika prvního řádu se odlišuje od [[výroková logika|výrokové logiky]] zavedením [[kvantifikátor|kvantifikovaných]] proměnných. Teorie o určitém tématu bývá obvykle právě predikátová logika prvního řádu společně se: specifickou [[univerzální množina|univerzální mno …26 KB (4 440 slov) - 19. 1. 2025, 21:48
Stránky s odpovídajícím textem
- …uce (logika)|rezoluce]] je tak možné hledat důkazy tvrzení v [[predikátová logika|predikátové logice s rovností]]. [[Kategorie:Matematická logika]] …529 bajtů (83 slov) - 5. 6. 2015, 03:15
- …[důkaz (logika)|dokazatelnosti]] a sémantický pojem pravdivosti v [[model (logika)|modelu]]. …ogika)|teorii]] T, právě když <math>\varphi</math> platí v každém [[model (logika)|modelu]] T.'' …1 KB (237 slov) - 6. 8. 2021, 12:45
- …etí není dán) je [[logika|logický]] princip, který říká, že každý [[Výrok (logika)|výrok]] je buď pravdivý, nebo je nepravdivý; neexistuje třetí možnost. Pří …e být [[intuicionistická logika]] nebo vícehodnotové logiky, např. [[fuzzy logika]]. …1 KB (192 slov) - 31. 5. 2023, 01:49
- ! style="width:300px" | [[Výroková logika]] Kvantifikátory v [[predikátová logika|logice prvního řádu]] odpovídají [[závislostní typ|závislostním typům]]: …1 KB (195 slov) - 23. 2. 2022, 16:29
- Nechť ''A, B'' jsou dvě [[struktura (logika)|struktury]] téhož jazyka. Prosté zobrazení <math>f: A \rightarrow B</math> …jsou dvě [[struktura (logika)|struktury]] téhož jazyka, resp. dva [[model (logika)|modely]] téže teorie. Pak řekneme, že ''A'' je elementární podstrukturou, …2 KB (235 slov) - 6. 8. 2021, 10:07
- …podstatně slabší než [[Peanova aritmetika]], zejména proto, že v [[jazyk (logika)|jazyce]] neobsahuje symbol pro násobení. Pojmenována je po [[Polsko|polské Presburgerova aritmetika je [[teorie (logika)|teorie]] v [[jazyk (logika)|jazyce]] ''L'' obsahujícím konstantní symbol ''0'', unární funkční symbol …2 KB (245 slov) - 9. 8. 2021, 08:33
- V [[matematická logika|matematické logice]] se pojmem '''úplná [[formální teorie|teorie]]''' označ kde Cn je [[uzávěr (logika)|operátor konsekvence]]. …957 bajtů (143 slov) - 16. 10. 2024, 18:45
- …ka)|formulí]] co se týče jejich dokazatelnosti v nějaké formální [[teorie (logika)|teorii]]. …je [[bezesporná teorie|bezesporná]] [[teorie (logika)|teorie]] v [[jazyk (logika)|jazyce]] ''L'' a ''m'' je [[přirozené číslo]]. Pro formule <math>\varphi, …2 KB (305 slov) - 5. 12. 2022, 06:29
- '''Unifikace''' je v logice [[substituce (logika)|substituce]], po jejíž aplikaci na množinu termů dostaneme jeden term. For …em v roce 1965 a použit pro [[Rezoluce (logika)|rezoluci]] v [[Predikátová logika|predikátové logice]]. Používá se například v [[unifikační gramatika|unifika …1 KB (215 slov) - 2. 11. 2024, 22:53
- …základ [[argumentace]] a [[Důkaz (logika)|dokazování]] nejen ve [[Výroková logika|výrokové logice]]. …rphi , \psi</math>; "A", "B"; respektive ''P'' a ''Q'' označuje [[Formule (logika)|logické formule]]. …2 KB (255 slov) - 17. 2. 2024, 08:06
- [[Formule (logika)|Formule]] v [[Predikátová logika|predikátové logice]] je v '''kanonickém tvaru''', pokud # žádná [[proměnná (logika)|proměnná]], která se ve formuli vyskytuje jako [[Volná proměnná|volná]],… …1 KB (260 slov) - 17. 1. 2025, 16:32
- '''Lineární logika''' je verze formální [[logika|logiky]], v níž při odvození dochází k vyřazení antecedentu z množiny formu [[Kategorie:Matematická logika]] …1 KB (186 slov) - 8. 8. 2021, 13:29
- …kappa</math> (<math>\kappa</math>-kategorická), jsou-li každé dva [[model (logika)|modely]] ''T'' [[mohutnost]]i <math>\kappa</math> [[izomorfismus struktur| ''Nechť T je [[teorie (logika)|teorie]] v [[jazyk (logika)|jazyce]] [[spočetná množina|spočetné]] [[kardinalita jazyka|kardinality]] …3 KB (430 slov) - 1. 8. 2022, 19:13
- …]ů, kde P-term definujeme jako [[konjunkce (logika)|konjunkce]] [[literál (logika)|literálů]] (a je-li <math>x</math> výroková proměnná, tak jí určené literá …dené formule lze ovšem do DNF převést, tedy sestrojit k nim [[Ekvivalence (logika)|ekvivalentní]] formule, které jsou v DNF: …2 KB (383 slov) - 6. 8. 2021, 07:31
- …, kde klauzuli definujeme jako [[disjunkce (logika)|disjunkci]] [[literál (logika)|literálů]] (a je-li <math>x</math> výroková proměnná, tak jí určené literá * [[Logika]] …2 KB (409 slov) - 8. 8. 2021, 15:34
- == Logika == Ve formální [[logika|logice]] se [[definice]] pojmu dilema liší významně od běžného [[význam]]u. …2 KB (336 slov) - 14. 10. 2024, 05:02
- Pro [[výroková logika|výrokovou logiku]] má tvar V [[predikátová logika|predikátové logice]] má rezoluce podobu …2 KB (324 slov) - 9. 8. 2021, 20:07
- …logika|predikátovou]], odpovídají totiž [[kvantifikátor]]ům [[predikátová logika|logiky prvního řádu]]. Používají se v některých programovacích jazycích pro …\supset\bot</math>. Dokazatelnost se v teorii typů řídí [[intuicionistická logika|intuicionistickou logikou]], proto zde neplatí [[zákon o vyloučení třetího] …2 KB (380 slov) - 20. 12. 2022, 02:52
- '''Henkinův model''' je model teorie [[Logika vyššího řádu|vyššího řádu]] v obecné [[Sémantika|sémantice]], přičemž platí …ější, než modely ve standardní sémantice. Speciálně platí, že [[reifikace (logika)|reifikovaná]] teorie prvního řádu věrně reflektuje validní formule vyššího …2 KB (291 slov) - 31. 1. 2018, 20:34
- …'') je jeden z [[logický kalkulus|logických kalkulů]], kterými se zabývá [[logika]]. Jde o kalkulus jednoznačně nejpoužívanější; je v něm formalizována celá …možné rozlišit na verze pro [[výroková logika|výrokovou]] a [[predikátová logika|predikátovou logiku]]. …4 KB (682 slov) - 20. 9. 2023, 17:45