Formaali

täsmennyssivu From Wikipedia, the free encyclopedia

Formaali (adj.) on yleisesti muodollinen, muotoa koskeva, säännöin täsmällistetty.

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.

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

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

Wikiwand - on

Seamless Wikipedia browsing. On steroids.