Content covered: 

validity, satisfiability, logical implication,inference system