Příspěvky uživatele
- 9. 12. 2014, 22:05 rozdíl historie +13 N Portál:Logika/Teorie množin Založena nová stránka s textem „* Forcing“
- 9. 12. 2014, 22:04 rozdíl historie 0 Portál:Filosofie logiky
- 9. 12. 2014, 22:04 rozdíl historie +224 N Portál:Logika/Filosofie logiky Založena nová stránka s textem „* Úvod do filosofie logiky * Výrazy ve větě * Pravdivost | Nutná pravda * Paradoxy ** Paradox lháře | [[Grellingův paradox]…“
- 9. 12. 2014, 22:00 rozdíl historie +255 N Portál:Logika/Modální logiky Založena nová stránka s textem „* Kripkovská sémantika * Dynamická epistemická logika | Logika veřejných vyhlášení * Kanonický model * Bisimulace | Emulace…“ aktuální
- 9. 12. 2014, 21:58 rozdíl historie +534 N Portál:Logika/Klasická logika Založena nová stránka s textem „* Tautologie | Substituce * Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce * [[Věta o úplnosti]…“ aktuální
- 9. 12. 2014, 21:58 rozdíl historie +201 Portál:Klasická logika aktuální
- 9. 12. 2014, 21:49 rozdíl historie +3 493 Portál:Logika
- 8. 12. 2014, 22:11 rozdíl historie +680 Vyplývání
- 4. 12. 2014, 23:27 rozdíl historie -8 Vyplývání →Syntaktická definice
- 4. 12. 2014, 23:25 rozdíl historie +2 Vyplývání →Tarského modelově teoretická definice
- 4. 12. 2014, 23:24 rozdíl historie +2 039 Vyplývání
- 4. 12. 2014, 22:35 rozdíl historie +1 688 N Vyplývání Založena nová stránka s textem „Jde o něco, co je lidem vlastní už od dětství, není potřeba jej studovat. Existuje intuitivní logické vyplývání. Logika si klade za cíl poskyt…“
- 4. 12. 2014, 22:27 rozdíl historie +19 Portál:Filosofie logiky
- 4. 12. 2014, 22:24 rozdíl historie +632 Paradoxy →Diagonální metoda
- 4. 12. 2014, 22:00 rozdíl historie +1 239 Paradoxy →Diagonalizační metoda
- 4. 12. 2014, 21:24 rozdíl historie -3 Paradoxy →Grellingův paradox
- 4. 12. 2014, 21:23 rozdíl historie +82 Paradoxy →Grellingův paradox
- 4. 12. 2014, 21:15 rozdíl historie +1 550 Paradoxy →Grellingův paradox
- 3. 12. 2014, 21:43 rozdíl historie +20 N Kategorie:Vyčíslitelnost Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 21:42 rozdíl historie +20 N Kategorie:Teorie množin Založena nová stránka s textem „Kategorie:Logika“ aktuální