Mantiq bu argumentlarni ifodalash va tahlil qilish uchun aniq belgilar va qoidalardan foydalanadigan rasmiy tildir. Bu bayonotlar orasidagi mantiqiy munosabatlarni ifodalashning tizimli usulini ta'minlaydi, bu aniq va bir ma'noli aloqani ta'minlaydi