إذا كان العدد ٦ ينقسم على ٣ ولا ينقسم على ٢
هذاه العبارة يكون ناتجها.....

إذا كانت p=1 ,q=0 فإن p->q

إذا كانت p=q=0 فإن p->q

عدد إمكانيات القيم الصواب في القضيه p٧q

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

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

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)
تكافئ........