(ক) যুক্তিবিদ্যায় বিধেয়ক হলো এমন একটি সম্পর্ক, যা কোনো সদর্থক যুক্তিবাক্যের উদ্দেশ্য ও বিধেয় পদের মধ্যে বিদ্যমান থাকে। অর্থাৎ, জাতি বা শ্রেণিবাচক পদ বিশিষ্ট কোনো সদর্থক যুক্তিবাক্যে উদ্দেশ্য ও বিধেয় পদের মধ্যকার যৌক্তিক সম্পর্ককেই বিধেয়ক বলা হয়। (খ) নঞর্থক যুক্তিবাক্যে বিধেয়ক অনুপস্থিত থাকে। বিধেয়ক মূলত উদ্দেশ্য ও বিধেয় পদের মধ্যকার একটি যৌক্তিক সম্পর্ক নির্দেশ করে। নঞর্থক যুক্তিবাক্যে উদ্দেশ্য ও বিধেয় পদের মধ্যে কোনো প্রকার ইতিবাচক সম্পর্ক বা অন্তর্ভুক্তির সম্পর্ক থাকে না, বরং একটি পদ থেকে অন্যটিকে পৃথক বা অস্বীকার করা হয়। যেহেতু বিধেয়ক কেবল সদর্থক যুক্তিবাক্যের ক্ষেত্রেই প্রযোজ্য, তাই নঞর্থক যুক্তিবাক্যে বিধেয়কের কোনো স্থান নেই। (গ) উদ্দীপকের যুক্তিবাক্যটি হলো "সব দার্শনিক হয় জ্ঞানী"। এখানে 'জ্ঞানী' পদটিকে যুক্তিবিদ্যার ভাষায় বিধেয় পদ বলা হয়। একটি আদর্শ নিরপেক্ষ যুক্তিবাক্যে দুটি পদ থাকে, একটি উদ্দেশ্য পদ এবং অন্যটি বিধেয় পদ। যে পদের সম্পর্কে কোনো কিছু স্বীকার বা অস্বীকার করা হয়, তাকে উদ্দেশ্য পদ বলে। আর উদ্দেশ্য পদ সম্পর্কে যা কিছু বলা হয় বা স্বীকার করা হয়, তাকে বিধেয় পদ বলে। উদ্দীপকের বাক্যটিতে 'দার্শনিক' হলো উদ্দেশ্য পদ এবং এই দার্শনিকদের সম্পর্কে 'জ্ঞানী' হওয়ার গুণটি স্বীকার করা হয়েছে। তাই 'জ্ঞানী' পদটি এখানে বিধেয় পদ হিসেবে ব্যবহৃত হয়েছে। (ঘ) উদ্দীপকে উল্লিখিত "সব দার্শনিক হয় জ্ঞানী" যুক্তিবাক্যটিতে 'দার্শনিক' ও 'জ্ঞানী' পদ দুটির মধ্যে 'জাতি' ও 'উপজাতি'র সম্পর্ক বিদ্যমান। যুক্তিবিদ্যায় যখন দুটি শ্রেণিবাচক পদের মধ্যে একটিকে অন্যটির অন্তর্ভুক্ত করে প্রকাশ করা হয়, তখন তাদের মধ্যে জাতি-উপজাতির সম্পর্ক তৈরি হয়। এখানে 'জ্ঞানী' হলো একটি বৃহত্তর শ্রেণি বা জাতি, যার ব্যক্ত্যর্থ বা পরিধি অনেক বেশি। অন্যদিকে, 'দার্শনিক' হলো 'জ্ঞানী' শ্রেণির অন্তর্ভুক্ত একটি ক্ষুদ্রতর শ্রেণি বা উপজাতি। দার্শনিকরা সবাই জ্ঞানী হওয়ার কারণে 'দার্শনিক' পদটি 'জ্ঞানী' পদের ব্যক্ত্যর্থের একটি অংশ মাত্র। অর্থাৎ, 'জ্ঞানী' পদটি এখানে জাতি হিসেবে কাজ করছে এবং 'দার্শনিক' পদটি তার উপজাতি হিসেবে অবস্থান করছে। এরিস্টটল ও পরফিরি বিধেয়ক আলোচনায় এই শ্রেণিগত সম্পর্কের ওপর গুরুত্বারোপ করেছেন, যেখানে একটি পদ অন্যটির অন্তর্ভুক্ত হয়ে যৌক্তিক সম্পর্কের ভিত্তি তৈরি করে। সুতরাং, উদ্দীপকের পদ দুটির মধ্যে জাতি ও উপজাতির পারস্পরিক নির্ভরশীলতার সম্পর্কটি স্পষ্টভাবে প্রকাশিত হয়েছে।