در بحث منطق، استفاده از منطق در داده های قرآنی نرم افزار، ما به دنبال حل یک مسئله هستیم و اون اینکه قواعد منطقی رو با لسان قرآن تطبیق بدیم برای استفاده. به چه معنا؟ به این معنا که بیام بگیم اگر دو گزاره قراره صغرا کبرای یک حکم باشند این دو گزاره چه ویژگیهایی باید داشته باشند؟ این ویژگیها رو از لسان قرآن صحبت کنیم. بگیم مثلا گزاره اسمیه اول باید مبتداش اسم جنس باشه، خبرش اسم مشتق باشه، گزاره دوم باید مبتداش مثلا اسم خاص باشه، بر فرض اسم علم باشه. بیام انواع اینها رو معلوم کنیم. خبرش چه باشه؟ اگر اینگونه بود اینجا ما می تونیم بگیم مبتدای اول و خبر دوم رو ما می تونیم یک جمله جدید بسازیم به معنای حکم، به معنای نتیجه. پس بیام ما این قواعد منطقی رو تطبیق بدیم با لسان قرآن و براساس صرف و نحو و بلاغت مشخص کنیم که قواعد منطقی چجوری باید براساس اینها حل بشوند.
