public void testIntConstruction()
{
Proposition temp = new Proposition(2, Operations.Conjunction, 3);
Operations O = Operations.Conjunction;
Assert.AreEqual(temp.Operation, O, "Operations Error");
Assert.AreEqual(temp.getA(), 2, "'A' error");
Assert.AreEqual(temp.getB(), 3, "'B' error");
}
