Content covered: 

This lecture introduces propositions and connectives