protasis

the first propostion of material implication; the proposition unlying the first clause of an illative conjunction or a condition clause, §9-5. Cf. apodosis.