اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
إذا كان P صحيحا، والاستلزام من P إلى Q صحيحا فإن Q يعد صحيحا.
نعم فهو صحيح
للبرهنة على صحة استلزام من P إلى Q يمكن البرهنة على أن الاستلزام من نفيQ نحو نفيP صحيح أيضا.
للبرهنة على صحة Q يمكن دراسة حالتين:
A إذا كان عبارة معرفة على مجموعة الأعداد الصحيحة الطبيعية، إذا تحقق ما يلي: