Tämä artikkeli käsittelee formaalia yleisenä terminä. Se on myös unkarin kielessä esiintyvä sijamuoto, modaali, joka ilmaisee tapaa.
|
|
Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä.
Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.
|
Formaali (adj.) on yleisesti muodollinen, muotoa koskeva, säännöin täsmällistetty.
Esimerkiksi luonnollista logiikkaa käytetään intuitiivisesti arkielämän päättelyissä. Jos se täsmällistetään - esimerkiksi tietokoneohjelmointia tai matemaattista päättelyä varten - tarvitaan formaalit päättelysäännöt ja näiden muodostamaa kokonaisuutta kutsutaan formaaliksi logiikaksi.
Katso myös
