চক্রাকার অস্বীকৃতি

রৈখিকভাবে ক্রমানুসারিত সত্য মানসমূহ নিয়ে  বহুমূলক যুক্তিতে, চক্রাকার অস্বীকৃতি একটি একাঙ্ক সত্য ফাংশন যা একটি সত্য মান n গ্রহণ করে এবং যদি n সর্বনিম্ন মান না হয়, তবে এটি n-1 প্রদান করে; অন্যথায় এটি সর্বোচ্চ মান প্রদান করে।

উদাহরণ স্বরূপ, ধরা যাক সত্য মানগুলির সেট {0,1,2}, ~ দ্বারা অস্বীকৃতি বোঝায়, এবং p সত্য মানগুলির উপর পরিসরে একটি চলক। এই পছন্দগুলির জন্য, যদি p = 0 তাহলে ~p = 2; এবং যদি p = 1 তাহলে ~p = 0

চক্রাকার অস্বীকৃতি যুক্তিবিদ এবং গণিতবিদ এমিল পোস্ট দ্বারা প্রবর্তিত হয়।

 তথ্যসূত্র 

 . See in particular pp. 188–189.

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