Formaali

Wikipedia
Loikkaa: valikkoon, hakuun

Formaali (adj.) on 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.

Myös unkarin kielessä esiintyvä sijamuoto, modaali, joka ilmaisee tapaa.

Katso myös[muokkaa | muokkaa wikitekstiä]

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