logiikka
nlogik
#{formaalinen|formaalinen}# tiede, jonka kohteena ovat käsitteiden yleiset ja muodolliset ominaisuudet ja suhteet, joita kuvaamaan käytetään erityisistä merkeistä koostuvia filosofian ja matematiikan lainalaisuuksia noudattavia #{formaali kieli|formaaleja kieliä}#