| dbo:abstract
|
- A formális logika, vagy más néven szimbolikus logika a logika tudományának egy ága, az okok és következmények struktúrájával foglalkozik. A formális logika az elméletek közötti kapcsolatokat elemzi, és lehetőséget ad az állítások bizonyításainak elkészítéséhez. Az elméletek alaposan definiáltak, és az állítások nagyon pontos, tömör és egyértelmű szimbolikus formában (jelölésrendszerrel) kerülnek leírásra. A formális logikából fejlődött ki a matematikai logika, a matematika fontos részterülete, amely a formális logika módszereit alkalmazza a matematikai következtetések és bizonyítások vizsgálatára. (hu)
- A formális logika, vagy más néven szimbolikus logika a logika tudományának egy ága, az okok és következmények struktúrájával foglalkozik. A formális logika az elméletek közötti kapcsolatokat elemzi, és lehetőséget ad az állítások bizonyításainak elkészítéséhez. Az elméletek alaposan definiáltak, és az állítások nagyon pontos, tömör és egyértelmű szimbolikus formában (jelölésrendszerrel) kerülnek leírásra. A formális logikából fejlődött ki a matematikai logika, a matematika fontos részterülete, amely a formális logika módszereit alkalmazza a matematikai következtetések és bizonyítások vizsgálatára. (hu)
|
