বিমূর্ত যুক্তি

গাণিতিক যুক্তিতে, একটি বিমূর্ত যুক্তি হল একটি আনুষ্ঠানিক পদ্ধতি, যা বাক্যসমষ্টি এবং একটি সন্তুষ্টি সম্পর্ক নিয়ে গঠিত। এটি সংঘটন, সম্প্রসারণ, সমরূপতা, পুনঃনামকরণ, এবং পরিমাণায়ন সম্পর্কিত নির্দিষ্ট বৈশিষ্ট্য অনুসরণ করে।C. C. Chang and Jerome Keisler Model Theory, 1990  page 128

লিন্ডস্ট্রোমের চরিত্রায়ন অনুসারে, প্রথম-ক্রম যুক্তি হলো একমাত্র বিমূর্ত যুক্তি, যা গণনাযোগ্যভাবে সংক্ষিপ্ত এবং যার লোভেনহাইম সংখ্যা ω।C. C. Chang and Jerome Keisler Model Theory, 1990  page 132

 আরও দেখুন 

 বিমূর্ত বীজগাণিতিক যুক্তি – সিদ্ধান্ত গ্রহণ পদ্ধতিগুলোর বীজগাণিতিক ভিত্তি নিয়ে অধ্যয়ন, যা লিন্ডেনবাউম–টার্সকি বীজগণিতের ওপর নির্ভর করে।
 বিমূর্ত মডেল তত্ত্ব – যুক্তিবিজ্ঞানের একটি গুরুত্বপূর্ণ শাখা।
 লোভেনহাইম সংখ্যা – ক্ষুদ্রতম অঙ্কবাচক সংখ্যা, যার ক্ষেত্রে নিম্নগামী লোভেনহাইম–স্কোলেম উপপাদ্য প্রযোজ্য।
 লিন্ডস্ট্রোমের উপপাদ্য – গাণিতিক যুক্তিবিজ্ঞানের একটি গুরুত্বপূর্ণ উপপাদ্য।
 সার্বজনীন যুক্তি – যুক্তিবিজ্ঞানের সেই শাখা, যেখানে সব ধরনের যুক্তিবিদ্যার সাধারণ বৈশিষ্ট্যগুলো নিয়ে গবেষণা করা হয়।

 তথ্যসূত্র 

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