Příspěvky uživatele
- 9. 12. 2014, 23:05 rozdíl historie +13 N Portál:Logika/Teorie množin Založena nová stránka s textem „* Forcing“
- 9. 12. 2014, 23:04 rozdíl historie 0 Portál:Filosofie logiky
- 9. 12. 2014, 23: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, 23: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, 22: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, 22:58 rozdíl historie +201 Portál:Klasická logika aktuální
- 9. 12. 2014, 22:49 rozdíl historie +3 493 Portál:Logika
- 8. 12. 2014, 23:11 rozdíl historie +680 Vyplývání
- 5. 12. 2014, 00:27 rozdíl historie -8 Vyplývání →Syntaktická definice
- 5. 12. 2014, 00:25 rozdíl historie +2 Vyplývání →Tarského modelově teoretická definice
- 5. 12. 2014, 00:24 rozdíl historie +2 039 Vyplývání
- 4. 12. 2014, 23: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, 23:27 rozdíl historie +19 Portál:Filosofie logiky
- 4. 12. 2014, 23:24 rozdíl historie +632 Paradoxy →Diagonální metoda
- 4. 12. 2014, 23:00 rozdíl historie +1 239 Paradoxy →Diagonalizační metoda
- 4. 12. 2014, 22:24 rozdíl historie -3 Paradoxy →Grellingův paradox
- 4. 12. 2014, 22:23 rozdíl historie +82 Paradoxy →Grellingův paradox
- 4. 12. 2014, 22:15 rozdíl historie +1 550 Paradoxy →Grellingův paradox
- 3. 12. 2014, 22:43 rozdíl historie +20 N Kategorie:Vyčíslitelnost Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 22:42 rozdíl historie +20 N Kategorie:Teorie množin Založena nová stránka s textem „Kategorie:Logika“ aktuální