private static string CheckconclusionByConvertingResult(string result, string conclusion) { RESULTTYPE1 = SyllogismRules.GetTypeByProposition(result); string tempresult; switch (RESULTTYPE1) { case "A": tempresult = AType.ConvertProposition(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; if (tempresult == INVALIDCONCLUSION) { tempresult = AType.ImplicateProposition(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; } result = tempresult; break; case "E": tempresult = EType.ConvertStatement(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; if (tempresult == INVALIDCONCLUSION) { tempresult = EType.ImplicateStatement(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; } result = tempresult; break; case "I": tempresult = IType.ConvertStatement(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; if (tempresult == INVALIDCONCLUSION) { tempresult = IType.ImplicateStatement(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; } result = tempresult; break; case "O": tempresult = OType.ConvertStatement(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; if (tempresult == INVALIDCONCLUSION) { tempresult = OType.ImplicateStatement(result) == conclusion.ToUpper() ? VALIDCONCLUSION : INVALIDCONCLUSION; } result = tempresult; break; } return(result); }
public static string GetConvertedProposition(string statement) { if (AType.IsTrue(statement)) { return(AType.ConvertProposition(statement).ToUpper()); } if (EType.IsTrue(statement)) { return(EType.ConvertStatement(statement).ToUpper()); } if (IType.IsTrue(statement)) { return(IType.ConvertStatement(statement).ToUpper()); } if (OType.IsTrue(statement)) { return(OType.ConvertStatement(statement).ToUpper()); } //TODo:- Add Hidden & Exclusive Proportion return(INVALIDTYPE); }
public static string CheckConclusionByStatements(string conclusion, string statement1, string statement2, string result) { TYPE1 = SyllogismRules.GetTypeByProposition(statement1); TYPE2 = SyllogismRules.GetTypeByProposition(statement2); STATEMENT1 = statement1; STATEMENT2 = statement2; if (TYPE1 == "A" && TYPE2 == "A") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "A" && TYPE2 == "E") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "E" && TYPE2 == "A") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "E" && TYPE2 == "I") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "I" && TYPE2 == "A") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "I" && TYPE2 == "E") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "I" && TYPE2 == "I") { //if (result.ToUpper() == conclusion.ToUpper()) //{ // result = VALIDCONCLUSION; //} //else if (IType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "A" && TYPE2 == "I") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } //TODO convert result and check else if (AType.ConvertProposition(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "A" && TYPE2 == "O") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "E" && TYPE2 == "E") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "E" && TYPE2 == "O") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "I" && TYPE2 == "O")//may exist complemetarypair { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "O" && TYPE2 == "A") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (AType.ConvertProposition(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "O" && TYPE2 == "E") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (EType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "O" && TYPE2 == "I") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (IType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else if (TYPE1 == "O" && TYPE2 == "O") { if (result.ToUpper() == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement1) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else if (OType.ConvertStatement(statement2) == conclusion.ToUpper()) { result = VALIDCONCLUSION; } else { result = CheckconclusionByConvertingResult(result, conclusion); } } else { return(NODEFINITECONCLUSION.Replace("<<TYPE1>>", TYPE1) .Replace("<<TYPE2>>", TYPE2)); } return(result); }