Formaali

Wikipediasta
Siirry navigaatioon Siirry hakuun
Tämä artikkeli käsittelee formaalia yleisenä terminä. Se on myös unkarin kielessä esiintyvä sijamuoto, modaali, joka ilmaisee tapaa.

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.

Tämä kieliin tai kielitieteeseen liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.