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