Describir: Ilmu Mantiq (logika)