cuando hay excepciones para las cuales la proposición lógica A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} no siempre es cierta (pero lo es la mayor parte del tiempo), diremos que la relación A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} no siempre es cierto pero es probable
