العبارات المركبة والشرطية

العبارة جملةٌ خبريةٌ إمّا صائبة (T) وإمّا خاطئة (F). ونربط عبارتين p و q بروابط منطقية:

جدول الصواب لهذه الروابط:

• نفي العبارة (~p): عبارةٌ تعكس قيمة صوابها — فنفي العبارة الصائبة خاطئٌ ونفي الخاطئة صائب.

وتُرسَم المجموعات بالطريقة نفسها: مخطّطُ فِن يبيّن ما تشترك فيه مجموعتان وما ينفرد به كلٌّ منهما.

ويمتدّ الرسم نفسه إلى ثلاث مجموعات، فالمنطقةُ الوسطى تنتمي إليها جميعًا.