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

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