Obsah
10 vzťahy: Atomárny fakt, Epistemická logika, Konečná množina, Logický kalkul, Logika, Predikátová logika, Spočítateľná množina, Syntaktická skratka, Umelá inteligencia, Výroková logika.
- Viera
Atomárny fakt
Atomárny fakt je fakt, ktorý sa nedá rozložiť na ďalšie fakty.
Pozrieť Doxastická logika a Atomárny fakt
Epistemická logika
Epistemická logika alebo logika poznania je neklasická logika, ktorá sa zaoberá poznaním.
Pozrieť Doxastická logika a Epistemická logika
Konečná množina
Množina konečná je množina, ktorá má konečný počet prvkov.
Pozrieť Doxastická logika a Konečná množina
Logický kalkul
Logický kalkul je kalkul, ktorého zložky sa prostredníctvom nejakej interpretácie logicky vykladajú.
Pozrieť Doxastická logika a Logický kalkul
Logika
Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.
Pozrieť Doxastická logika a Logika
Predikátová logika
Predikátová logika.
Pozrieť Doxastická logika a Predikátová logika
Spočítateľná množina
Spočítateľná množina je množina, ktorá má v istom zmysle nanajvýš „rovnako veľa“ prvkov ako množina prirodzených čísel.
Pozrieť Doxastická logika a Spočítateľná množina
Syntaktická skratka
Syntaktická skratka je symbol ktorý zastupuje nejakú zložitejšiu presne vymedzenú syntaktickú konštrukciu v jazyku logiky alebo teórie.
Pozrieť Doxastická logika a Syntaktická skratka
Umelá inteligencia
Umelá inteligencia alebo umelý intelekt (skratka UI resp. AI z) je všeobecne.
Pozrieť Doxastická logika a Umelá inteligencia
Výroková logika
Výroková logika je časť matematickej logiky (výroková algebra), ktorá sa zaoberá tvorbou výrokov, ich vzájomným spájaním, zisťovaním logickej pravdivosti výrokov a ich spojení i niektorými spôsobmi odvodzovania.
Pozrieť Doxastická logika a Výroková logika