সত্য-মান, যুক্তিতে, সত্য (টি বা 1) বা মিথ্যা (এফ বা 0) প্রদত্ত প্রস্তাব বা বিবৃতি। যৌক্তিক সংযোগগুলি যেমন: সংশ্লেষ (প্রতীকী ∨, "বা" এর জন্য) এবং অবহেলা (প্রতীকীকৃত) হিসাবে, সত্য-ফাংশন হিসাবে বিবেচনা করা যেতে পারে, কারণ যৌগিক প্রস্তাবের সত্য-মান একটি কাজ, বা পরিমাণের উপর নির্ভরশীল, এর উপাদান অংশগুলির সত্য-মান।
যৌগিক বিবরণের সত্য-মান সহজেই সত্যের টেবিল হিসাবে পরিচিত একটি চার্টের মাধ্যমে পরীক্ষা করা যেতে পারে। সারণীর প্রতিটি সারি যৌগের উপাদান প্রস্তাবগুলির জন্য সত্য-মানগুলির একটি সম্ভাব্য সংমিশ্রণ উপস্থাপন করে এবং সারিগুলির সংখ্যা সম্ভাব্য সংমিশ্রনের সংখ্যা দ্বারা নির্ধারিত হয়। উদাহরণস্বরূপ, যদি যৌগটিতে মাত্র দুটি উপাদান প্রস্তাব থাকে, সেখানে চারটি সম্ভাবনা থাকবে এবং এইভাবে টেবিলে চারটি সারি থাকবে। সাধারণ সংযোজকগুলির যৌক্তিক বৈশিষ্ট্যগুলি সত্য টেবিলে নিম্নলিখিতভাবে প্রদর্শিত হতে পারে:
যার মধ্যে "চিহ্নিত করে" এবং "এবং" ইঙ্গিত করে "যদি। । । তারপর। " ("বা" সারণীতে, উদাহরণস্বরূপ, দ্বিতীয় লাইনটি পড়ছে, "p যদি সত্য হয় এবং প্রশ্নটি মিথ্যা হয়, তবে p ∨ q সত্য হয়” ") অনেক বড় জটিলতার সত্যতার টেবিলগুলি, অনেকগুলি সত্য-কার্যকারিতা সহ, একটি কম্পিউটারের মাধ্যমে নির্মিত যেতে পারে। যুক্তির বিমূর্ত সিস্টেমগুলি তৈরি করা হয়েছে যা তিনটি সত্য-মান (যেমন, সত্য, মিথ্যা এবং অনির্দিষ্ট) নিয়োগ করে বা এমনকি অনেকগুলি, অস্পষ্ট যুক্তি অনুসারে, যেখানে প্রস্তাবগুলির মান 0 এবং 1 এর মধ্যে থাকে।
