theorem Th19: :: PARTPR_1:19

for x being object
for D being non empty set
for p, q being PartialPredicate of D st x in dom p & p . x = FALSE holds
(PP_and (p,q)) . x = FALSE