Update: NAL.h: missing comparison rules added
@@ -122,6 +122,10 @@ R2( (R --> (A * B)), (C <-> A), |-, (R --> (C * B)), Truth_Analogy )
R2( (R --> (A * B)), (B --> C), |-, (R --> (A * C)), Truth_Deduction )
R2( (R --> (A * B)), (C --> B), |-, (R --> (A * C)), Truth_Abduction )
R2( (R --> (A * B)), (C <-> B), |-, (R --> (A * C)), Truth_Analogy )
+R2( ((A * B) --> R), ((C * B) --> R), |-, (A <-> C), Truth_Comparison )
+R2( ((A * B) --> R), ((A * C) --> R), |-, (B <-> C), Truth_Comparison )
+R2( (R --> (A * B)), (R --> (C * B)), |-, (A <-> C), Truth_Comparison )
+R2( (R --> (A * B)), (R --> (A * C)), |-, (B <-> C), Truth_Comparison )
//NAL5 rules
R1( (! A), |-, A, Truth_Negation )
R1( (A && B), |-, A, Truth_StructuralDeduction )
