C# (CSharp) PropositionalVariables示例

示例#1

 public Universal()
 {
     ObjectVariables = new PropositionalVariables();
     Symbol          = '@';
 }

示例#2

 public Existential()
 {
     ObjectVariables = new PropositionalVariables();
     Symbol          = '!';
 }