rennin: an enzyme that occurs in gastric juice; causes milk to coagulate
coagulase: an enzyme that induces coagulation
propositional logic: a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them