quando há exceções para as quais a proposição lógica A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} nem sempre é verdadeira (mas é na maioria das vezes), diremos que a relação A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} nem sempre é verdade, mas é provável
