إذا كانت المقترحات p و q متكافئة ، كلاهما صحيح أو كلاهما خطأ ، أي أن كلاهما لهما نفس قيمة الحقيقة. علم الحشو هو بيان يكون دائمًا صحيحًا. التناقض هو بيان خاطئ دائما
ماذا يعني P -> Q؟
p → q (p تعني q) (إذا كان p ثم q) هو الاقتراح الذي يكون خاطئًا عندما يكون p صحيحًا و q خطأ وصحيح بخلاف ذلك.
ما المكافئ منطقيًا لـ P → Q؟
P → Q مكافئ منطقيًا لـ ¬P∨Q. … مثال: "إذا كان الرقم من مضاعفات 4 ، فإنه يساوي" ، "الرقم ليس من مضاعفات 4 أو (وإلا) فهو زوجي. "
ما هو P إلا إذا س؟
فقط إذا قدم شرطًا ضروريًا: P فقط إذا كانت Q تعني أن حقيقة Q ضرورية ، أو مطلوبة ، لكي يكون P صحيحًا. أي ، P فقط إذا استبعدت Q احتمالًا واحدًا فقط: أن P صحيحة و Q خطأ.
عندما الشرطي p → q خطأ؟
لنفترض أن p و q عبارة عن جملتين ، فإن "if p ثم q" عبارة عن بيان مركب ، يُشار إليه بـ p → q ويشار إليه على أنه بيان شرطي أو ضمني. المعنى الضمني p → q خطأ فقط عندما تكون p صحيحة، و q خطأ ؛ خلاف ذلك ، هذا صحيح دائمًا.