Logický jazyk je jazyk používaný pro reprezentaci logických myšlenek a pro formální vyjádření logických vztahů.