public ProofStepChainContrapositive ( |
||
contrapositive | ||
contrapositiveOf | ||
return | System |
public ProofStepChainContrapositive(Chain contrapositive,
Chain contrapositiveOf)
{
this.contrapositive = contrapositive;
this.contrapositiveOf = contrapositiveOf;
this.predecessors.Add(contrapositiveOf.getProofStep());
}