|
public isFalse ( |
||
| clause | ||
| return | bool | |
public void testSentenceStatusWhenPFalseAndQFalse()
{
String p = "P";
String q = "Q";
m = m.extend(new Symbol(p), false);
m = m.extend(new Symbol(q), false);
Assert.AreEqual(true, m.isFalse(andSentence));
Assert.AreEqual(true, m.isFalse(orSentence));
Assert.AreEqual(true, m.isTrue(impliedSentence));
Assert.AreEqual(true, m.isTrue(biConditionalSentence));
}
private bool isEvenOneClauseFalse(Model model, List <Sentence> clauseList)
{
for (int i = 0; i < clauseList.Count; i++)
{
Sentence clause = (Sentence)clauseList[i];
if (model.isFalse(clause))
{
// System.Console.WriteLine(clause.ToString() + " is false");
return(true);
}
}
return(false);
}
private bool isClauseTrueInModel(Sentence clause, Model model)
{
List <Symbol> positiveSymbols = new SymbolClassifier().getPositiveSymbolsIn(clause);
List <Symbol> negativeSymbols = new SymbolClassifier().getNegativeSymbolsIn(clause);
foreach (Symbol symbol in positiveSymbols)
{
if ((model.isTrue(symbol)))
{
return(true);
}
}
foreach (Symbol symbol in negativeSymbols)
{
if ((model.isFalse(symbol)))
{
return(true);
}
}
return(false);
}
private bool isClauseTrueInModel(Sentence clause, Model model)
{
List<Symbol> positiveSymbols = new SymbolClassifier().getPositiveSymbolsIn(clause);
List<Symbol> negativeSymbols = new SymbolClassifier().getNegativeSymbolsIn(clause);
foreach (Symbol symbol in positiveSymbols)
{
if ((model.isTrue(symbol)))
{
return true;
}
}
foreach (Symbol symbol in negativeSymbols)
{
if ((model.isFalse(symbol)))
{
return true;
}
}
return false;
}
private bool isEvenOneClauseFalse(Model model, List<Sentence> clauseList)
{
for (int i = 0; i < clauseList.Count; i++)
{
Sentence clause = (Sentence)clauseList[i];
if (model.isFalse(clause))
{
// System.Console.WriteLine(clause.ToString() + " is false");
return true;
}
}
return false;
}
public void testComplexSentence()
{
String p = "P";
String q = "Q";
m = m.extend(new Symbol(p), true);
m = m.extend(new Symbol(q), false);
Sentence sent = (Sentence)parser.parse("((P OR Q) AND (P => Q))");
Assert.IsFalse(m.isTrue(sent));
Assert.IsTrue(m.isFalse(sent));
Sentence sent2 = (Sentence)parser.parse("((P OR Q) AND (Q))");
Assert.IsFalse(m.isTrue(sent2));
Assert.IsTrue(m.isFalse(sent2));
}