De implicatie is enkel onwaar als de contrapositiestelling niet opgaat. bvb. 'Als het regent, dan worden de straten nat' , stel de straten zijn niet nat terwijl het toch regent, dan is de implicatie niet correct. wetenschap: een hypothese "als p dan q" is onwaar als we een voorbeeld vinden waarin dat p waar is en q niet waar is.