Exemplos de ImplicationFormula em C# (CSharp)

Exemplo n.º 1

Arquivo: TextFormulaVisitor.cs Projeto: Sykorajakku/TS-web-app

 public string Visit(ImplicationFormula implicationFormula)
 {
     return($"({implicationFormula.LeftSubformula.Apply(this)} → {implicationFormula.RightSubformula.Apply(this)})");
 }

Exemplo n.º 2

 internal ImplicationTableau(ImplicationFormula formula, TruthLabel truthLabel)
 {
     Formula    = Implication = formula;
     TruthLabel = truthLabel;
 }