コード例 #1
0
 public ImpliesIntroductionRule(ProofBox box)
 {
     Box = box;
 }
コード例 #2
0
 public DisjunctionEliminationRule(ProofLineRef disjunction, ProofBox case1, ProofBox case2)
 {
     Disjunction = disjunction;
     Case1 = case1;
     Case2 = case2;
 }
コード例 #3
0
 public ProofByContradictionRule(ProofBox box)
 {
     Box = box;
 }
コード例 #4
0
 public NegIntroductionRule(ProofBox box)
 {
     Box = box;
 }