TPG posting on October 19, 2013

I posted the following at TPG today. It's something that I learnt from a Logic course at Indiana University at Bloomington, Indiana, USA, almost 30 years ago,

Click on image to enlarge...