ছক (গাণিতিক যুক্তি)

ছক হলো মডেল তত্ত্বের গাণিতিক যুক্তিবিদ্যার একটি শাখায়, একটি কাঠামোর ও একটি তত্ত্বের দরকারি বৈশিষ্ট্য প্রমাণ করার জন্য সহজ কিন্তু শক্তিশালী ধারণা, উদাহরণস্বরূপ একত্রিতকরণ সম্পত্তি এবং যৌথ এম্বেডিং সম্পত্তি।

 সংজ্ঞা 
ধরা যাক  একটি প্রথম ক্রম ভাষা এবং  একটি তত্ত্ব শেষ  একটি মডেলের জন্য  এর  একটি প্রসারিত হয়  একটি নতুন ভাষায়:



একটি নতুন ধ্রুবক প্রতীক যোগ করে  প্রতিটি উপাদানের জন্য  মধ্যে  যেখানে  এর ডোমেনের একটি উপসেট  এখন একটি প্রসারিত হতে পারে  মডেলের কাছে

 grgr

এর ইতিবাচক চিত্র , কখনও কখনও চিহ্নিত করা হয় , হলো সেই সমস্ত পারমাণবিক বাক্যের সেট যা ধারণ করে  যখন নেতিবাচক চিত্র, নির্দেশিত  এর মধ্যে সেই সমস্ত পারমাণবিক বাক্যগুলির সেট যা ধরে না  .

চিত্রটি  এর  এর পারমাণবিক বাক্যগুলির সমস্ত পারমাণবিক বাক্য এবং অস্বীকারের সেট  যে রাখা   প্রতীকীভাবে, .

 এছাড়াও দেখুন 

 প্রাথমিক চিত্র

 তথ্যসূত্র 

বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান