added tautology/contradiction methods, added unconditionals, created truth table and argument classes
added tautology/contradiction methods, added unconditionals, created truth table and argument classes