Describir: Ilmu mantiq (logika)