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

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