ما هي الإستدلالات الرياضية في منطق الجموع؟

الإستدلالات الرياضية في منطق الجموع هي استنتاجات رياضية مشتقة من علاقات بين الأعداد والمجموعات. وتشمل بعض الإستدلالات الرياضية الشائعة في منطق الجموع ما يلي:

1- قانون دي مورغان: (A ∪ B)’ = A’ ∩ B’

2- قانون الإجمالي: 1+2+3+…+n = n(n+1)/2

3- قانون بايس: P(A|B) = P(B|A)P(A) / [P(B|A)P(A) + P(B|A’)P(A’)]

4- قانون بيرنولي: (1+x)^n = C(n,0)x^0 + C(n,1)x^1 + C(n,2)x^2 + … + C(n,n)x^n

5- قانون الحد الأقصى والأدنى: max(a, b) = (a+b+|a-b|) / 2 و min(a, b) = (a+b-|a-b|) / 2