Logic notation

No.12212144 ViewReplyOriginalReport
Let there be two functions: P(x) and I(x). Note the both functions have no common output values.

How can one express, with respect to correct usage of standard notation:

- For all output values of both functions, when a P(x) value is multiplied by an I(x) value, a P(x) value is generated in every case.

Thank you.