AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.TTEntailsTest.testSUnkownSymbol C# (CSharp) Метод

        public void testSUnkownSymbol()
        {
            kb.tell("((A => B) AND B)");
            Assert.AreEqual(false, kb.askWithTTEntails("X"));
        }