هذه البطاقة الأصلية محتوى أوّلي. ستُثرى المكتبة بوثائق المؤلّف.
01
فهم المفهوم
القضية عبارة يمكن أن تكون صحيحة أو خاطئة. نفي القضية P يعكس قيمة صدقها.
02
الطريقة الأساسية
تكون «P وQ» صحيحة إذا صحّت القضيتان. وتكون «P أوQ» صحيحة إذا صحّت واحدة على الأقل. الاستلزام P ⇒ Q خاطئ فقط عندما تكون P صحيحة وQ خاطئة.
\neg(P\land Q)=(\neg P)\lor(\neg Q)
03
مثال خطوة بخطوة
إذا كانت P هي «4 زوجي» وQ هي «4 > 5»، فإن P صحيحة وQ خاطئة. لذلك «P وQ» خاطئة و«P أوQ» صحيحة.
يُحفظ تقدّمك في هذا المتصفّح.