La proposición "Q" está implícita en la proposición P cuando la siguiente relación es verdadera: