ينص قانون القياس المنطقي إنه إذا كانت العبارتان الشرطيتان p → qq → r صحيحتين فإنه ينتج عن ذلك عبارة شرطية صحيحة أيضاً هي:
الحل هو:
p→r
