Added Logic lecture

I would appreciate comments and criticism! 
I understand why this evaluates to true, but it may not be clear to the user that you are testing whether the `identical` function is identical to itself (especially since they might not be used to seeing a function without trailing parentheses).