Exemplo n.º 1
0
 private bool HasImplication(IFact <T> fact1, IFact <T> fact2)
 {
     return(fact1.Implies(fact2) || fact2.Implies(fact1));
 }