示例#1
0
 public Universal()
 {
     ObjectVariables = new PropositionalVariables();
     Symbol          = '@';
 }
示例#2
0
 public Existential()
 {
     ObjectVariables = new PropositionalVariables();
     Symbol          = '!';
 }