سقراط إنسان.

الاستنتاج:

إذن، سقراط فان.

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

ومن الأمثلة الأخرى على الصيغ المنطقية الصالحة، طريقة الإنكار، وتتخذ البنية الرمزية التالية:

المقدمة المنطقية الأولى:

إذا تحقق س، فسيتحقق ص.

المقدمة المنطقية الثانية:

لم يتحقق ص.

الاستنتاج:

Shafi da ba'a sani ba