Formaali

Kohteesta Wikipedia
Loikkaa: valikkoon, 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.

Katso myös[muokkaa | muokkaa wikitekstiä]

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