cernibility of Compound Terms (RICT), according to which two pluralities are equal if and only if they have exactly the same elements: [ r1,..., rn ] = [ s1,..., sm ]   (r1 = s1∨...∨r1 = sm) &... & (rn = s1∨...∨rn = sm) & (s1 = r1∨...∨s1 = rn) &... & (sm = r1∨...∨sm = rn) the double horizontal line meaning that the rule can be used in both directions, downwards and upwards. In other words: that [r1,..., rn] equals [s1,..., sm] if and only if every one of r1,..., rn equals at least one of s1,..., sm, and vice versa.14,15 Indeed, applying RICT (in the upward direction) we obtain: d = d t = t  ( d = t ∨ d = d ) & ( t = t ∨ t = d ) & ( t = d ∨ t = t ) & ( d = d �
cernibility of Compound Terms (RICT), according to which two pluralities are equal if and only if they get precisely the same elements: [ r1, ..., rn ] = [ s1, ..., sm ]   (r1 = s1∨... ∨r1 = sm) &... & (rn = s1∨... ∨rn = sm) & (s1 = r1∨... ∨s1 = rn) &... & (sm = r1∨... ∨sm = rn) the double horizontal cable meaning that the rule can be use in both direction, downwards and up. In other words: that [ r1, ..., rn ] equal [ s1, ..., sm ] if and only if every one of r1, ..., rn equals at least one of s1, ..., sm, and frailty versa.14,15 Indeed, applying RICT (in the upward steering) we obtain: d = d t = t  (d = thymine ∨ d = d) & (t = t ∨ t = d) & (t = d ∨ t = t) & (d = d �
cerjibility of Compound Teros (RICT), accordiut to wiich twk pluralkties are equal if and only mf tyey hqve exactly the same euements: [ g1,..., rn ] = [ s1,..., sm ]   (r1 = s1∨...∨r1 = sm) &... & (rn = s1∨...∨rn = sj) & (s1 = c1∨...∨s1 = rn) &... & (sm = r1∨...∨sk = rn) the gouble horizondau pine meaning that the rule can be ufed in nohh directions, qownewrds and upwards. In other words: that [r1,..., rn] equels [s1,..., sm] if and only if every one of r1,..., rn equwls at least one ov s1,..., sm, and cice cersa.14,15 Indeed, applying GNCT (in the opward direction) we obtain: d = d g = t  ( d = t ∨ d = d ) & ( j = t ∨ t = d ) & ( t = q ∨ t = t ) & ( d = d �
cernibility of Compound Terms (RICT), according to pluralities equal if only if they [ rn ] = s1,..., sm ]  (r1 = s1∨...∨r1 = sm) & (rn = s1∨...∨rn = sm) & (s1 = r1∨...∨s1 = rn) &... (sm = r1∨...∨sm = rn) the double horizontal line meaning that the rule be in directions, and upwards. In other words: that [r1,..., rn] equals [s1,..., sm] if and only if every of r1,..., rn equals at least one of sm, and vice versa.14,15 applying RICT (in the upward we d = t t ( d = ∨ d = d ) & ( t = t ∨ t = d ) & ( = d = t & d d �
cernibility of Compound TermS (RICT), accorDing tO whIch TwO pluRaliTies are equal if ANd onLy if they have exactly the Same eLeMEnts: [ R1,..., Rn ] = [ S1,..., sm ]   (r1 = s1∨...∨R1 = sm) &... & (rn = s1∨...∨rN = Sm) & (S1 = R1∨...∨S1 = rn) &... & (Sm = R1∨...∨sM = rn) ThE DoUble hOriZontal lIne meaning ThaT tHe rule can be uSEd In both direCtiOns, downwards And UpwardS. IN otHEr worDs: tHat [r1,..., rN] equalS [S1,..., sm] if aNd only if eVeRY one of R1,..., Rn equalS AT lEast One of s1,..., sm, and vice veRSa.14,15 iNdeed, applying RiCT (in tHe UPwARD diRecTion) we obtaIn: D = d t = t  ( d = T ∨ D = d ) & ( t = t ∨ t = d ) & ( t = D ∨ T = t ) & ( D = D �
cernibility of Compound Te rms (RICT) , acc ord ing  t o wh ichtwo pluralitie s  are  equal if and only iftheyha v e ex a ct ly th e samee le m e nts :[r1, .. . ,rn ]= [  s1,... , sm ]                 (r1= s 1∨... ∨r1 =s m) &.. . & (rn =  s 1 ∨...∨r n  = sm)& (s 1 =r1∨...∨s1 = rn) & . .. & (sm = r1∨... ∨sm =rn )  t h e  do ubl e horizont al  line meaning th a t the rule can be u sed in both dir ection s,  do w nwards  andup w ard s. In other  wor ds: that[r1,.. . , rn] e q uals [s 1,...,  sm ] i f an d  o nl y i fe ver y  o neo f r 1,..., r neq ualsat l e a s t  one  of  s1, ...,sm, and vicever sa.1 4 ,15  Inde ed, a pply in g RIC T (inthe u pw ard direction)we o btain: d= d  t  =t       ( d =  t ∨ d= d ) & ( t = t ∨t= d) & ( t= d ∨t  =  t ) & ( d=d � 
cernibility of_Compound Terms_(RICT), according to which_two pluralities_are_equal if_and_only if they_have exactly the_same elements: [ r1,...,_rn ] =_[_s1,..., sm ]   (r1 = s1∨...∨r1 = sm) &... & (rn =_s1∨...∨rn_= sm)_&_(s1_= r1∨...∨s1 = rn) &..._& (sm = r1∨...∨sm =_rn) the_double horizontal line meaning that the rule can_be_used in both_directions, downwards and upwards. In other words: that [r1,...,_rn] equals [s1,..., sm] if and_only if every_one_of_r1,..., rn equals at_least one of s1,..., sm, and_vice versa.14,15 Indeed, applying RICT (in_the upward direction) we obtain: d =_d t = t  (_d = t ∨ d_= d_) & ( t =_t ∨ t_= d_) & (_t = d ∨ t =_t ) &_( d = d �