AIMA.Core.Logic.Propositional.Algorithms.Model.isFalse C# (CSharp) Method

isFalse() public method

public isFalse ( Sentence clause ) : bool
clause AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return bool
	public bool isFalse(Sentence clause) {
		return clause.accept(this, null).Equals(false);
	}

Same methods

Model::isFalse ( Symbol symbol ) : bool

Usage Example

Beispiel #1
0
 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));
 }
All Usage Examples Of AIMA.Core.Logic.Propositional.Algorithms.Model::isFalse