/// <summary>Check whether give proposition is contradiction</summary> /// <exception cref="InvaildPropositionException"></exception> /// <returns>True if contradiction</returns> public static bool IsContradiction(this Proposition expr) { return(logEngine.IsContradiction(expr)); }