We introduced conditional statements of the form 'P implies Q'  ('P -> Q'), and discussed the truth table that defines the implication connective ->. We observed through their truth tables the logical equivalence of 'P implies Q' with '(NOT-P) or (P AND Q)'. We defined by truth table the notions of tautology and contradiction, and we did worked examples throughout. 
Finally, tutorial times and venues were confirmed, to commence the following day (Thursday).