new unit: satisfaction.tex defining satisfaction of a formula in a structure wrt a variable assignment
added new file: semantic-notions.tex defining validity, satisfiability, entailment
added chapter on sequent calculus with placeholders
added skeleton of completeness proof