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