Příspěvky uživatele
- 13. 11. 2014, 15:48 rozdíl historie +164 Pravdivost →Nutná pravda
- 13. 11. 2014, 15:42 rozdíl historie +1 760 Pravdivost →Nutná pravda
- 13. 11. 2014, 15:26 rozdíl historie +93 Pravdivost →Tarského sémantická teorie pravdy
- 13. 11. 2014, 15:22 rozdíl historie +112 Pravdivost →Deflační teorie pravdy
- 12. 11. 2014, 23:03 rozdíl historie 0 Pravdivost →Zdroj
- 12. 11. 2014, 22:58 rozdíl historie +31 N Kategorie:Sociologie Založena nová stránka s textem „Kategorie:Hlavní kategorie“ aktuální
- 12. 11. 2014, 22:52 rozdíl historie 0 Kategorie:Filosofie logiky
- 12. 11. 2014, 22:49 rozdíl historie +31 N Kategorie:Egyptologie Založena nová stránka s textem „Kategorie:Hlavní kategorie“ aktuální
- 12. 11. 2014, 22:06 rozdíl historie -1 Transkripce →Transkripce IPA aktuální
- 10. 11. 2014, 00:18 rozdíl historie -3 Booleova algebra →Dualita operací
- 10. 11. 2014, 00:13 rozdíl historie +290 Booleova algebra →Podalgebra
- 10. 11. 2014, 00:08 rozdíl historie +3 Booleova algebra →Zákon idempotence
- 10. 11. 2014, 00:07 rozdíl historie +5 Booleova algebra →Formule a zákony platné v Booleově algebře
- 10. 11. 2014, 00:06 rozdíl historie +465 Booleova algebra →Dualita operací
- 7. 11. 2014, 20:49 rozdíl historie -1 Pravdivost →Koherenční teorie pravdy
- 7. 11. 2014, 20:44 rozdíl historie +57 Pravdivost →Quineova teorie pravdy
- 7. 11. 2014, 20:42 rozdíl historie +15 Pravdivost →Zdroj
- 7. 11. 2014, 20:41 rozdíl historie +1 753 Pravdivost →Quineova teorie pravdy
- 7. 11. 2014, 19:58 rozdíl historie +4 Adrenalin
- 7. 11. 2014, 19:34 rozdíl historie +29 Pravdivost →Nutná pravda
- 7. 11. 2014, 19:32 rozdíl historie +19 Pravdivost
- 7. 11. 2014, 19:30 rozdíl historie +562 Pravdivost
- 7. 11. 2014, 19:21 rozdíl historie +3 135 Pravdivost
- 4. 11. 2014, 00:42 rozdíl historie +68 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 4. 11. 2014, 00:40 rozdíl historie +801 Výrazy ve větě
- 4. 11. 2014, 00:16 rozdíl historie +17 Portál:Filosofie logiky
- 4. 11. 2014, 00:14 rozdíl historie +120 Pravdivost
- 4. 11. 2014, 00:08 rozdíl historie +2 531 N Pravdivost Založena nová stránka s textem „* úkolem logiky není, aby rozhodovala, která tvrzení jsou pravdivá * pravdivost vět ověřujeme; věta je pravdivá, pokud se věci mají tak, jak uv…“
- 25. 10. 2014, 20:58 rozdíl historie +20 N Kategorie:Struktury a algebry Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 25. 10. 2014, 20:42 rozdíl historie 0 m Rasiowé-Sikorského lemma Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma aktuální
- 25. 10. 2014, 20:42 rozdíl historie +43 N Rasiové-Sikorského lemma Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma aktuální
- 25. 10. 2014, 20:42 rozdíl historie 0 Portál:Struktury a algebry
- 25. 10. 2014, 20:41 rozdíl historie +518 Rasiowé-Sikorského lemma
- 25. 10. 2014, 18:35 rozdíl historie -1 Rasiowé-Sikorského lemma
- 25. 10. 2014, 18:34 rozdíl historie +362 N Rasiowé-Sikorského lemma Založena nová stránka s textem „Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utr…“
- 25. 10. 2014, 17:50 rozdíl historie +406 Úvod do filosofie logiky →Výrok
- 25. 10. 2014, 17:41 rozdíl historie +20 N Kategorie:Filosofie logiky Založena nová stránka s textem „Kategorie:Logika“
- 25. 10. 2014, 17:39 rozdíl historie +1 555 Výrazy ve větě
- 25. 10. 2014, 17:27 rozdíl historie +543 Výrazy ve větě →Sloveso být
- 25. 10. 2014, 17:21 rozdíl historie -4 Výrazy ve větě →Obecné výrazy
- 25. 10. 2014, 17:21 rozdíl historie +799 Výrazy ve větě →Obecné výrazy
- 19. 10. 2014, 22:21 rozdíl historie +1 522 Výrazy ve větě
- 19. 10. 2014, 19:17 rozdíl historie +4 014 N Výrazy ve větě Založena nová stránka s textem „Níže si uvedeme podstatné části, které rozlišujeme ve větě. Jde o singulární výrazy, obecné výrazy... == Singulární výrazy == Singulární…“
- 19. 10. 2014, 18:37 rozdíl historie +3 063 N Úvod do filosofie logiky Založena nová stránka s textem „Filosofie logiky se zaměřuje na výchozí pojmy logiky, metody a postupy v logice používané. V historii se setkáváme s různými přístupy a logick…“
- 19. 10. 2014, 18:15 rozdíl historie +57 Portál:Filosofie logiky
- 5. 10. 2014, 19:54 rozdíl historie +1 053 Portál:Filosofie logiky
- 5. 10. 2014, 18:37 rozdíl historie +1 695 N Portál:Filosofie logiky Založena nová stránka s textem „<br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br />* HAACK Susan. ''Philosophy of…“
- 5. 10. 2014, 17:52 rozdíl historie +1 Portál:Modální logiky
- 5. 10. 2014, 17:51 rozdíl historie +3 Portál:Modální logiky
- 5. 10. 2014, 17:49 rozdíl historie +433 Portál:Modální logiky
- 5. 10. 2014, 17:35 rozdíl historie +396 Portál:Klasická logika
- 5. 10. 2014, 17:19 rozdíl historie +419 Portál:Teorie množin
- 5. 10. 2014, 17:14 rozdíl historie +570 Portál:Struktury a algebry
- 27. 9. 2014, 17:50 rozdíl historie +415 Booleova algebra
- 27. 9. 2014, 17:31 rozdíl historie -17 Portál:Struktury a algebry
- 27. 9. 2014, 17:15 rozdíl historie +4 Booleova algebra
- 27. 9. 2014, 17:13 rozdíl historie +358 Booleova algebra
- 27. 9. 2014, 16:57 rozdíl historie +80 Booleova algebra
- 27. 9. 2014, 16:48 rozdíl historie +1 006 Booleova algebra
- 25. 9. 2014, 22:52 rozdíl historie +2 Booleova algebra
- 25. 9. 2014, 22:51 rozdíl historie +1 761 N Booleova algebra Založena nová stránka s textem „Booleova algebra (BA), nazvaná podle irského matematika George Boolea, je '''struktura''' <math>\mathbb{B} = (B, \wedge, \vee, 1, 0, -)<…“
- 25. 9. 2014, 19:07 rozdíl historie +158 Portál:Struktury a algebry
- 21. 9. 2014, 21:57 rozdíl historie +7 Hilbertovský kalkul →Důkaz v H aktuální
- 21. 9. 2014, 21:57 rozdíl historie +28 Hilbertovský kalkul →Důkaz v H
- 21. 9. 2014, 21:56 rozdíl historie +1 185 Hilbertovský kalkul
- 15. 9. 2014, 13:53 rozdíl historie +664 Hilbertovský kalkul
- 15. 9. 2014, 13:34 rozdíl historie +41 Hilbertovský kalkul
- 15. 9. 2014, 13:30 rozdíl historie +2 370 N Hilbertovský kalkul Založena nová stránka s textem „'''Hilbertovský kalkulus''' (značme H) je axiomatický formální systém, pojmenovaný po významném německém matematikovi přelomu 19. a 20. stolet…“
- 14. 9. 2014, 20:53 rozdíl historie +332 Portál:Klasická logika
- 14. 9. 2014, 19:29 rozdíl historie +29 Bisimulace
- 10. 9. 2014, 14:04 rozdíl historie 0 Bisimulace
- 10. 9. 2014, 14:03 rozdíl historie +8 Bisimulace
- 10. 9. 2014, 14:00 rozdíl historie +243 Bisimulace
- 10. 9. 2014, 13:53 rozdíl historie +55 Bisimulace
- 10. 9. 2014, 13:51 rozdíl historie -1 Bisimulace
- 8. 9. 2014, 20:35 rozdíl historie 0 Bisimulace
- 8. 9. 2014, 19:54 rozdíl historie +1 713 N Bisimulace Založena nová stránka s textem „== Bisimulace == === Definice === Bisimulace je binární relace ekvivalence mezi dvěma sémantickými modely. <br /> Mějme dva Kripkovská sémanti…“
- 6. 9. 2014, 18:03 rozdíl historie -32 Portál:Logika
- 6. 9. 2014, 18:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 19:02 rozdíl historie +21 N Kategorie:Modální logiky Založena nová stránka s textem „ Kategorie:Logika“ aktuální
- 5. 9. 2014, 19:01 rozdíl historie +32 N Dynamická epistemická logika Založena nová stránka s textem „ Kategorie:Modální logiky“ aktuální
- 5. 9. 2014, 19:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 18:46 rozdíl historie +623 Portál diskuse:Logika
- 5. 9. 2014, 16:15 rozdíl historie +256 Portál:Modální logiky
- 4. 9. 2014, 09:37 rozdíl historie +22 N Portál:Intuicionistická logika Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 09:36 rozdíl historie +22 N Kategorie:Logiky Založena nová stránka s textem „ Kategorie: Logika“ aktuální
- 4. 9. 2014, 09:35 rozdíl historie +23 N Portál:Klasická logika Založena nová stránka s textem „ Kategorie: Logiky“
- 4. 9. 2014, 09:34 rozdíl historie +21 N Portál:Dějiny logiky Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 09:03 rozdíl historie +2 Portál:Logika
- 4. 9. 2014, 08:58 rozdíl historie +52 Kategorie:Logika aktuální
- 4. 9. 2014, 08:57 rozdíl historie +23 N Portál:Struktury a algebry Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:55 rozdíl historie +23 N Portál:Analytická filosofie Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:54 rozdíl historie +23 N Kategorie:Logika Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:53 rozdíl historie +23 N Portál:Vyčíslitelnost Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:53 rozdíl historie -2 Portál:Logika
- 4. 9. 2014, 08:42 rozdíl historie +25 N Portál:Teorie množin Založena nová stránka s textem „ T“
- 4. 9. 2014, 08:40 rozdíl historie +26 m Portál:Logika
- 4. 9. 2014, 08:39 rozdíl historie 0 m Portál:Modální logiky
- 4. 9. 2014, 08:38 rozdíl historie +25 N Portál:Modální logiky Založena nová stránka s textem „ *“
- 3. 9. 2014, 20:15 rozdíl historie +206 Portál:Logika