AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainContrapositive.getJustification C# (CSharp) Méthode

        public override String getJustification()
        {
            return "Contrapositive: "
                    + contrapositiveOf.getProofStep().getStepNumber();
        }
        // END-ProofStep