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