Exemple #1
0
 public string Visit(ImplicationFormula implicationFormula)
 {
     return($"({implicationFormula.LeftSubformula.Apply(this)} → {implicationFormula.RightSubformula.Apply(this)})");
 }
Exemple #2
0
 internal ImplicationTableau(ImplicationFormula formula, TruthLabel truthLabel)
 {
     Formula    = Implication = formula;
     TruthLabel = truthLabel;
 }