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