In Lectures 6 and 7, we continue working through problems from the 'list of ten', focussing on Problem 8. We see that it is possible to determine validity of an argument represented by a truth function with 6 variables without generating a large truth table (with 64 rows!).