ماتریس منطقی

یک ماتریس منطقی،ماتریس باینری ماتریس رابطه ای ،ماتریس بولی ،ماتریس (1و0) ماتریس است با ورودی از دامنهٔ بولی B={0,1}از چنین ماتریسی می توان برای نشان دادن روابط بولی بین یک جفت عدد از یک مجموعه متناهی استفاده کرد.
محتواماتریس بیان یک رابطهمثالمثال های دیگرچند ویژگیهمچنینمنابع
اگر R یک ارتباط باینری بین مجموعه های X ,Y باشد به طوری که) (R⊆X,Y در نتیجه R را می توان با یک (M) ماتریس مجاورت بیان کرد. که سطرها و ستون های آن مؤلفه های مجموعهٔ X, Y هستند.Mi,j=1 (xi,yi) ∈R0 (xi, yj) ∉Rجهت مختصر کردن اعداد سطرها و ستون های ماتریس مجموعه های X ,Y با اعداد حقیقی مثبت علامتگذاری می شوند:i بین 1 تا انتهای XJ بین 1 تا انتهای y برای اطلاعات بیشتر ورودی را ببینید
رابطه باینری (R ) بین مجموعهٔ {4و3و2و1} به طوری تعریف می شود که a R b برقرار باشد اگر و فقط اگر b بر a بخش پذیر باشد بدون باقیمانده.به عنوان مثال رابطه 2R4 برقرار است چون 2 مقسوم علیه 4 است بدون باقی مانده اما رابطه 3R4 برقرار نیست چون 4 تقسیم بر 3 باقی مانده یک خواهد داشت.برای مجموعه های فوق مجموعه های جفت زیر برای رابطه R برقرار است:{ (4و4)و(3و3)و(4و2) و(2و2)و(4و1)و(3و1)و(2و1)و)1و1)}در نتیجه ماتریس های مربوطه خواهد شد:1111010100100001