The analogical derivation, noted`0 0 is dened in the following way: Although we use the notation !
8(A;B;C;D) 2 (V 3 ) 4 ; A : B = C : D ) jAj + jDj = jBj + jCj Another intuitive idea about analogies between strings of symbols is that two analogies could always be concatenated.