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

        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));
        }