p ...... p=true و p=1 أداة الربط المنطقية المناسبة هي

  ~(pvq)......تكافئ

كل أدوات الربط متساوية عدا exor عندما تكون القضيتين...

h(x) 2x=16 x∈R
g(x) x-1=7 x∈R
h(x) تكافئ g(x)

h(x) 2x=16 x∈I
g(x) x-1=7 x∈R
g(x) تكافئ h(x)

h(x) x+4=0 x∈ i
g(x) x² -16=0 x∈ I
h(x) لا تكافئ g(x)

عندما مجموعة التعويض (تكافئ) مجموعة الحل

نفي القضية ∀ x∈D ,p(x) هو

∃ x∈i ,p(x) : x>y نفي القضية

p---->(pvr)عدد قيم الصواب الخاطئة في القضية

p---->(p ٨ q)
تكافئ........

~pvq

أذا كانت القضية صحيحة منطقيًا فأن ..

أذا كان لدينا قضية منطقية واحدة فأن عدد قيم الصواب لها لا يساوي عدد قيم الصواب لنفي القضية نفسها

هي مجموعه من القيم التي تجعل منها جملة صائبة

مجموعة الحل للجمله المفتوحة h(x) , هي مجموعة كل العناصر من x التي يؤدي تعويضها فيh(x) الي جملة صائبة

تكون h(x) مسورة كليا اذا تطابقة مجموعة الحل فقط

تكون h(x) مسورة جزئيا اذا كانت مجموعة حلها تساوي جميع عناصر مجموعة الحل

عندما ننفي جمله مسورة كليا فإننا نستبدل المسور الكلي بالمسور الجزئي والجملة المفتوحه لا ننفيها