public static string GetPredicateByProposition(string proposition)
{
if (AType.IsTrue(proposition))
{
return(AType.GetPredicateByProposition(proposition));
}
if (EType.IsTrue(proposition))
{
return(EType.GetPredicateByStatement(proposition));
}
if (IType.IsTrue(proposition))
{
return(IType.GetPredicateByStatement(proposition));
}
if (OType.IsTrue(proposition))
{
return(OType.GetPredicateByStatement(proposition));
}
return(INVALIDTYPE);
}
public static string GetStatementByType(string type)
{
if (AType.IsTrue(type))
{
return(AType.GetStatementTemplate());
}
if (EType.IsTrue(type))
{
return(EType.GetStatementTemplate());
}
if (IType.IsTrue(type))
{
return(IType.GetStatementTemplate());
}
if (OType.IsTrue(type))
{
return(OType.GetStatementTemplate());
}
return(INVALIDTYPE);
}
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 GetTypeByProposition(string proposition)
{
if (AType.IsTrue(proposition))
{
return(AType.GetPropositionType().ToUpper());
}
if (EType.IsTrue(proposition))
{
return(EType.GetPropositionType().ToUpper());
}
if (IType.IsTrue(proposition))
{
return(IType.GetPropositionType().ToUpper());
}
if (OType.IsTrue(proposition))
{
return(OType.GetPropositionType().ToUpper());
} //TODo:- Add Hidden & Exclusive Proportion
return(INVALIDTYPE);
}
public static string GetImplicatedProposition(string proposition)
{
if (AType.IsTrue(proposition))
{
return(AType.ImplicateProposition(proposition).ToUpper());
}
if (EType.IsTrue(proposition))
{
return(EType.ImplicateStatement(proposition).ToUpper());
}
if (IType.IsTrue(proposition))
{
return(IType.ImplicateStatement(proposition).ToUpper());
}
if (OType.IsTrue(proposition))
{
return(OType.ImplicateStatement(proposition).ToUpper());
} //TODo:- Add Hidden & Exclusive Proportion
return(INVALIDTYPE);
}
