Keywords – Mathematical Logic of Al-Khalil