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

isFalse() public method

public isFalse ( Symbol symbol ) : bool
symbol AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return bool
	public bool isFalse(Symbol symbol) {
		return false.Equals(h[symbol]);
	}

Same methods

Model::isFalse ( Sentence clause ) : bool

Usage Example

Example #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