(ক) যুক্তিবিদ্যার জনক হলেন গ্রিক দার্শনিক এরিস্টটল। (খ) বিধেয়ক হলো যুক্তিবাক্যের উদ্দেশ্য ও বিধেয় পদের মধ্যকার একটি যৌক্তিক সম্পর্ক, যা কেবল সদর্থক যুক্তিবাক্যে বিদ্যমান থাকে। অন্যদিকে, বিধেয় হলো যুক্তিবাক্যের একটি পদ, যা উদ্দেশ্য সম্পর্কে কোনো কিছু স্বীকার বা অস্বীকার করে। বিধেয়ক কোনো পদ নয়, বরং এটি উদ্দেশ্য ও বিধেয় পদের মধ্যকার সম্পর্কের ধরন নির্দেশ করে। তাই বিধেয় ও বিধেয়ক এক নয়। (গ) উদ্দীপকের 'উদাহরণ-১' এ 'সকল চতুর্ভুজ হয় চার বাহু দ্বারা বেষ্টিত ক্ষেত্র' বাক্যটির মাধ্যমে বিধেয়কের প্রকারভেদ হিসেবে 'বিভেদক লক্ষণ' (Differentia) নির্দেশ করা হয়েছে। যুক্তিবিদ্যায় যে গুণ বা গুণাবলি কোনো জাতির অন্তর্গত বিভিন্ন উপজাতির মধ্য থেকে কোনো একটি উপজাতিকে অন্যগুলো থেকে পৃথক করে, তাকে বিভেদক লক্ষণ বলে। বিভেদক লক্ষণ উপজাতির সারসত্তাকে প্রকাশ করে। উদ্দীপকের উদাহরণে 'চতুর্ভুজ' হলো একটি জ্যামিতিক চিত্র, আর 'চার বাহু দ্বারা বেষ্টিত হওয়া' হলো তার এমন একটি গুণ যা তাকে অন্যান্য জ্যামিতিক চিত্র (যেমন- ত্রিভুজ বা বৃত্ত) থেকে পৃথক করে। যেহেতু এই গুণটি চতুর্ভুজকে তার জাতি থেকে আলাদা করে তার স্বকীয়তা বজায় রাখে, তাই এটি বিভেদক লক্ষণ। (ঘ) উদ্দীপকের 'উদাহরণ-২' এ 'সকল ঘোড়া হয় চতুষ্পদী প্রাণী' বাক্যটির মাধ্যমে বিধেয়কের প্রকারভেদ হিসেবে 'জাতি' (Genus) ও 'উপজাতি' (Species) নির্দেশ করা হয়েছে। এখানে 'প্রাণী' হলো জাতি এবং 'ঘোড়া' হলো উপজাতি। জাতি ও উপজাতির পারস্পরিক সম্পর্ক বিশ্লেষণ করলে দেখা যায় যে, এরা একে অপরের ওপর নির্ভরশীল। জাতি ও উপজাতি উভয়ই শ্রেণিবাচক পদ। যখন দুটি শ্রেণিবাচক পদের মধ্যে এমন সম্পর্ক থাকে যে, একটির ব্যক্ত্যর্থ (extension) অন্যটির চেয়ে বেশি এবং বেশি ব্যক্ত্যর্থপূর্ণ পদটি কম ব্যক্ত্যর্থপূর্ণ পদটিকে নিজের অন্তর্ভুক্ত করে, তখন বেশি ব্যক্ত্যর্থপূর্ণ পদটিকে জাতি এবং কম ব্যক্ত্যর্থপূর্ণ পদটিকে উপজাতি বলা হয়। উদাহরণ-২ এর ক্ষেত্রে, 'প্রাণী' পদের ব্যক্ত্যর্থ 'ঘোড়া' পদের চেয়ে বেশি, কারণ প্রাণীর অন্তর্ভুক্ত ঘোড়া ছাড়াও আরও অনেক প্রাণী রয়েছে। আবার 'ঘোড়া' পদটি 'প্রাণী' জাতির অন্তর্ভুক্ত। সুতরাং, জাতি ছাড়া উপজাতি গঠিত হতে পারে না এবং উপজাতি ছাড়া জাতির অস্তিত্ব অর্থহীন। এদের এই পারস্পরিক নির্ভরশীলতার কারণেই যুক্তিবিদ্যায় জাতি ও উপজাতিকে সাপেক্ষ পদ হিসেবে গণ্য করা হয়।