A lochica servirba ta decir qualas formas d'inferencia son validas y qualas no. Tradicionalment, s'estudia como una branca d'a filosofía, pero tamién se poderba considerar una branca d'a matematica u d'a informatica.