A lochica (d'o antigo griego λόγος logos; significando parabra, pensamiento, ideya, argumento u razón) ye o estudio d'os sistemas de razonamiento que un ser intelichent poderba emplegar ta razonar. 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.