الزامات یک قیاس منطقی!