Merkitys
- 1.(Filosofia)logiikassa, matematiikassa ja muissa formaalitieteissä määriteltävä keinotekoinen kieli, jonka syntaksi (ja usein myös semantiikka) on yksikäsitteisesti määritelty
Liittyvät sanat
Esimerkkilauseet
Formaalikielten analysointi on osa tietojenkäsittelyn teoriaa, ja se käsittää ohjelmointikielten formaalit semantiikat sekä menetelmät (kuten Hoaren logiikka).
Propositiosymboleina käytetään formaalikielessä yleensä merkkejä , , jne.