when there are exceptions for which the logical proposition A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} it's not always true (but it is most of the time), we will say that the relation A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} is not always true but it is probable
