If you do not find what you're looking for, you can use more accurate words.
إذا كان P صحيحا، والاستلزام من P إلى Q صحيحا فإن Q يعد صحيحا.
نعم فهو صحيح
للبرهنة على صحة استلزام من P إلى Q يمكن البرهنة على أن الاستلزام من نفيQ نحو نفيP صحيح أيضا.
للبرهنة على صحة Q يمكن دراسة حالتين:
A إذا كان عبارة معرفة على مجموعة الأعداد الصحيحة الطبيعية، إذا تحقق ما يلي: