Changes

Importing a new version from external source
when there are exceptions for which the logical proposition <math>A(x) \rightarrow B(x)</math> it's not always true (but it is most of the time), we will say that the relation <math>A(x) \rightarrow B(x)</math> is not always true but it is probable
2,041

edits