Formala sistemo
From Wikipedia, the free encyclopedia
Remove ads
Formala sistemo es abstraktigala strukturo uzata por inferar teoremi de axiomi segun specifika reguli. Ti reguli es logikala kalkulo dil sistemo.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads