logic concepts lecture 13 123687