لنقول أن الفرضيتين متكافئتين هو أن يكون قيم صوابها متساوية ولا يشترط الترتيب

يكفي أن نقول القضيتين متكافئتين هو أن يكون جدول الحقيقة للقضية الأولى والثانية متساوي

P <----> q   تكافئ منطقيًا q <---> p

~p ---->~q هذة القضية معكوسها الإيجابي هو p ----> q

x=10

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

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

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