لا تضيع وقتك

الظروف مناسبة والطموح موجود

ادوات الربط عددهن

جدول صواب أداة الربط و
يسمى

P ➡️q
تكافئ

P or -p

P or t

P or O

P and t

P and f

P and P

P or P

P or q

(p٧q) ٧ r

-(p➡️q)

-(p🔛q)

هي مجموعة كل قيم x التي يمكن التعويض بها في الجمل المفتوحه فتكون t or f

A هي مقلوب A

-(A x € X : h(x) نفيها