رياضيات

الدرس (2) : المنطق

العبارة هي جملة خبرية إما أن تكون صحيحة أم خاطئة.

 صواب العبارة (T) أو خطئها (F) تسمى قيمة الصواب، يرمز للعبارة برمز مثلpأوq.

نفي العبارة معنى مُضاداً لمعنى العبارة.  

*نفي العبارة p اعلاه هو p~ ، أو " ليس " p .

يمكن ربط عبارتين أو أكثر باستعمال (و) ، او الرابط (أو) لتكوين عبارة مركبة  . والعبارة المركبة التي تحتوي على (و ) تسمى عبارة وصل .

*تكتب عبارة الوصل q-p بالرموز على صورةp^q .

تسمى العبارة المركبة التي تحتوي (أو) عبارة فصل .

جدول الصواب:

يمكن تمثيل عبارة الفصل باستعمال أشكال فن:

p^~q : المضلعات السداسية غير محدبة.

~p^q : المضلعات المحدبة غير السداسية.

p^q : المضلعات السداسية المحدبة.