नियम-आधारित विधियाँ

तार्किक नियम

गणितीय तर्क (प्रस्तावनात्मक या प्रथम कोटि) पर आधारित औपचारिक नियम जो ज्ञान और तर्क को संरचित तरीके से दर्शाने की अनुमति देते हैं।

← पीछे