added support for logical connectors, added Logic Gate images
fixed definitions for connectives
worked on quantifiers, moved some sets to set-theory
started section on equality
revamped connective definitions
hard wraped and moved some content around
added definitions for rules of inference and logical implication
worked on entailment and logical equivalence