public void Visit(Contradiction contradiction)
{
Sequent sequent = new Sequent(
new ISymbol[0],
contradiction
);
Result = solver.Prove(sequent);
}
public void Visit(Contradiction contradiction)
{
VisitLeaf(contradiction);
}