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

        public void testSentenceStatusWhenPTrueAndQTrue()
        {
            String p = "P";
            String q = "Q";
            m = m.extend(new Symbol(p), true);
            m = m.extend(new Symbol(q), true);
            Assert.AreEqual(true, m.isTrue(andSentence));
            Assert.AreEqual(true, m.isTrue(orSentence));
            Assert.AreEqual(true, m.isTrue(impliedSentence));
            Assert.AreEqual(true, m.isTrue(biConditionalSentence));
        }