Class Contradiction

Represents a detected contradiction between reasoning steps.

public class Contradiction

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

Remarks

For Beginners: This class stores information about a contradiction that was found, including which steps conflict and why.

Description of why these steps contradict each other.

public string Explanation { get; set; }

Severity of the contradiction (0.0 = minor inconsistency, 1.0 = direct logical contradiction).

public double Severity { get; set; }

The step number of the first conflicting statement.

public int Step1Number { get; set; }

The step number of the second conflicting statement.

public int Step2Number { get; set; }

Returns a string that represents the current object.

public override string ToString()