4. 4 Logical Translation of Equivalences By logical translation of equivalence is meant the process whereby a standard form of proposition is changed into another standard form of proposition with the same meaning. For example : All men are mortal is changed into ; No men are immortal. This process is called a logical translation because it proceeds by regular rules. The two propositions are said t be logically equivalent because the equivalence is established by an inspection of the form of the proposition. So, the rule Y is a logical translation equivalent of XX is true, Y is true.
