P⇒Q is true if both are true. This is known as

conjunction

negation

disjunction

none of the

The statement "P⇒Q is true if both are true" describes a conjunction, which is the logical "and" operation.