C# (CSharp) TruthTree2.FOL.Logic WFF.Rename Exemples

Exemple #1

 public override WFF Rename(Term s, Term d)
 {
     return(new Negation(inner.Rename(s, d)));
 }

Exemple #2

Fichier : Biconditional.cs Projet : Bram-Hub/CSharp-TT-APG

 public override WFF Rename(Term s, Term d)
 {
     return(new Biconditional(
                left.Rename(s, d),
                right.Rename(s, d)));
 }

Exemple #3

 public override WFF Rename(Term s, Term d)
 {
     return(new Conditional(
                antecedent.Rename(s, d),
                consequent.Rename(s, d)));
 }