We discussed how P -> Q can be expressed using only the connectives OR and NOT. We introduced the connective, spoken as 'if and only if' (sometimes written as iff). We learnt the definition for logical validity of an argument; we analysed two pieces of text, each expressing an argument, and determined the corresponding truth function for each.