示例#1
0
 public string Visit(DisjunctionFormula disjunctionFormula)
 {
     return($"({disjunctionFormula.LeftSubformula.Apply(this)} ∨ {disjunctionFormula.RightSubformula.Apply(this)})");
 }
示例#2
0
 internal DisjunctionTableau(DisjunctionFormula formula, TruthLabel truthLabel)
 {
     Formula    = Disjunction = formula;
     TruthLabel = truthLabel;
 }