যদি p = সত্য এবং ৭ = সত্য হয় তবে উদ্দীপকের নিশাদের বক্তব্যের সত্যমূল্য নিরূপণ কর। (প্রয়োগ)

উদ্দীপকে নিশাদের বক্তব্য p = q হলো সমমান বচনের দৃষ্টান্ত। যে যৌগিক বচনের অন্তর্গত দুই বা ততোধিক অঙ্গবচন একই সাথে সত্য বা মিথ্যা হিসাবে প্রকাশিত হয় তখন তাকে সমখানিক বচন বলে। এরূপ সমমান যুক্ত দুটি বচনকে প্রতীকী যুক্তিবিদ্যায়' 'যদি এবং কেবল যদি' যোজক দ্বারা যুক্ত করে প্রকাশ করা হয়। প্রতীকী যুক্তিবিদ্যায় সমমানিক বচনের ক্ষেত্রে যে যোজকটি ব্যবহৃত হয় তাকে Three bar বা ত্রি-দাঁড় (=) প্রতীক দিয়ে প্রকাশ করা হয়। সমমান বচনের নিয়ম অনুসারে p = T এবং ৭ = F হলে p = q = 1 হয়, p = T এবং q = T হলে p = q = T হয়; p = F এবং q = F হলে p = ৭ = T হয়, আবার p = F এবং q = T হলে p = q আলোচ্য বাক্যটির সত্যমূল্য হবে নিম্নরূপ :

p=q
T = T (প্রদত্ত মান বসিয়ে)
T

সমমানিক বচনের ক্ষেত্রে পূর্বগ সত্য অনুগ মিথ্যা বা পূর্বগ মিথ্যা ও অনুগ সত্য হলে বাক্যটি মিথ্যা হবে।

∴ বাক্যটি সত্য।