quando ci sono delle eccezioni per cui la proposizione logica A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} non è sempre vera (ma lo è il più delle volte). In tal caso si dirà che A ( x ) → B ( x ) {\displaystyle A(x)\rightarrow B(x)} non è sempre vera ma è probabile.
