Formaali
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
- Formaali kieli
- Formaali kielioppi
Tämä kieliin tai kielitieteeseen liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.